linux-kexecboot kernels: more PR to .inc file since it's more tied to the initramfs...