CONFIG_X86_REQUIRED_FEATURE_PGE=y
