#define CONFIG_X86_PGE 1