pub fn trace_boot_info(
    boot_info: &KernelBootInfo,
    bi_ptr_va: VirtualAddress,
    kernel_va: VirtualAddress,
    trampoline_stack_va: VirtualAddress,
)pub fn trace_boot_info(
    boot_info: &KernelBootInfo,
    bi_ptr_va: VirtualAddress,
    kernel_va: VirtualAddress,
    trampoline_stack_va: VirtualAddress,
)