- fixed bug in KOS exposed by recent changes

src/machine/Machine.cc

@@ -143,6 +143,7 @@ void Machine::initBSP(mword magic, vaddr mbiAddr, mword idx) {
   KernelHeap::init0( (vaddr)bootHeap, sizeof(bootHeap) );
 
   // set up boot processor for lock counter -> output/malloc uses spinlock
+  new (&kernelCluster) Cluster; // run constructor now (reset & run again later)
   static buf_t bpDummy[sizeof(KernelProcessor)] __section(".boot.data");
   KernelProcessor* bootProcessor = new (bpDummy) KernelProcessor(kernelCluster);
   bootProcessor->install();