x86: set PAE PHYSICAL_MASK_SHIFT to 44 bits.