Patches for different kernel on different Linux distributions