How to get a patch onto the current F12 kernel...