[PATCH] x86: enable VMSPLIT for highmem kernels