pub fn kernel_start(bootinfo: impl BootInfo, archinfo: ArchInfo) -> !