From: Dave Jones <davej@redhat.com>

These options are only ever referenced in the defconfigs of various archs
now.