pub fn create_kernel_pagetables(
    kernel_maps: &[LoadedSegMap],
    tramp_code_va: VirtualAddress,
    tramp_code_len: usize,
    tramp_stack_base_phys: PhysicalAddress,
    tramp_stack_size_bytes: usize,
    boot_info_ptr_va: VirtualAddress,
) -> Result<PhysicalAddress, KernelPageTableError>