Adding more AP code in microkernel_init()