[coreboot] Kexec functions