loader.s now calls executive_init(), which calls microkernel_init()