I downloaded the official kernel source (Jelly Bean) and compiled (with no changes). I've ripped the boot.img from the official 1.31 posted on here and swapped my kernel for the original.
The result is an absolutely stock kernel but compiled from sources on my laptop.
So what? Well now I can overclock the kernel, tweak for extra features or add in non-standard drivers.
Next steps - re-engineer the sources to kitkat? Well maybe, but my son won't let me use his Hudl!!!
If you want to test it,