Update kernelpatching routine
(so it should work on Ubuntu with backported kernels now)
refs #21