# CONFIG_RHEL_DIFFERENCES is not set