applied Linux kernel patches