follow RHEL kernel changes