CONFIG_X86_HAVE_PAE=y
