How to go about mixing kernel patches...