Hello. kernel-image-* packages available in Debian archive have a number of patches applied (listed in README.Debian). Are individual patches listed there available in ready-to-download from from anywhere? Please CC replies to my e-mail, I'm currently not on the list.