[X86] Re: x86 SIG / Dropping PAE support