#define CONFIG_X86_PAE 1