config_query XEN_TARGET_X86_PAE "Would you like to enable PAE high memory for xen (the dom0 kernel should match this)?" n

.