conf/machine/include: add kexecboot.inc