Make kernel_main initialize the memory manager.