Linux kernel backport infrastructure