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