Symbol: kernel_handoff