xen64: fix build error on 32-bit + !HIGHMEM