Symbol: kernel_kexec