x86, pat: workaround to force PAT usage