Be more descriptive about what kernels can be patched