Update kexec.c