The AP path in microkernel_init() needs an infinite loop