pub fn load_kernel<P>( file: &File<'_>, page_table: &mut P, memory_manager: &MemoryManager, ) -> LoadedKernelwhere P: PageTable<Size4KiB>,