kernelpatch: make this work for Ubuntu with "backport" kernels.