[Bug 1047222] Obsolete kernel options configured by installation of system