renamed kernel_virtual_memory_manager to virtual_memory_manager