VMM started, paging on i386, and kmain on ARM and i386