Use normal pte accessors in change_page_attr() to access the PSE
bits.
Signed-off-by: NAndi Kleen <ak@suse.de>