[PATCH] x86-64: Make ix86 default to HIGHMEM4G instead of NOHIGHMEM