patches: import patches from stock debian kernel