This also requires a patch to linux-headers; while we are at it, make linux-headers PREFIX agnostic.
Needed for kexec-tools. Not equivalent to kernel version; kernel API is stable and does not change. Therefore we can use any (latest) version.