Fix up kexec builds