x86/generic: use HIGHMEM64G instead of HIGHMEM4G to fix PAE and Xen