Patching CentOS' Kernel