Push kernel patches