Disable HIGHMEM4G, using NOHIGHMEM instead