Remove Red Hat specific kernel options from settings.