John Pullan wrote:
You can get the pristine kernel.org source by installing the kernel-<version>.src.rpm package from one of the SRPMS CD-roms.I went with Petri's solution (delete compat.h) for now and it seems to work. I'll do the job properly once I've got access to a fat pipe. (Can't face downloading the kernel source over a modem)