Fixing kernel patches for upgraded kernel