Repair the microkernel initialization