vTLB: Switch to PAE format.