Kernel source code used by buildrump.sh, plus portability improvements