Added pull target to kernel to retrieve the 'current kernel version'.
Switched to using ftp.funet.fi instead of www.kernel-org - www.kernel.org does nasty redirect to https, which fucks up squid caching (and I'm using Docker so I rather get performance than security).
Upgraded to 3.14.16. The old 34 parameter name mangling patch seems to
be no longer needed (it was under 3.10.* at least last I tried it).
Added patch with debug-friendly optimization -Og instead of -O2 everywhere. Makes gdb'ing kernel bit more fun. (-O0 doesn't work, nor will it, in foreseeable future)
3.16.2 seems to work fine as-is.