Hi Neal,
Thanks for these very helpful instructions. In trying to implement
this, one snag I encountered was that the .src.rpm file has inside of
it the linux-{version}.tar.xz file that I actually want. Is there
anywhere on the internet that hosts these .tar.xz files directly?
Jason