x86: Fixes 64 bit VPT mapping