Update kexec.h