[arch-general] Has arch considered switching x86 to PAE by default