x86: generic: use HIGHMEM64G instead of HIGHMEM4G