HACK: ARM: Make Vexpress compile into 0x80000000 without p2v

This is a hack to make Versatile Express compile statically
into virtual offset 0x80000000 without any runtime patching.
This is required to test kernel in VMALLOC.

Signed-off-by: Linus Walleij <linus.walleij@linaro.org>
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 87badea..20c651d 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -279,6 +279,7 @@
 	default 0x00000000 if ARCH_FOOTBRIDGE
 	default 0x10000000 if ARCH_OMAP1 || ARCH_RPC
 	default 0x30000000 if ARCH_S3C24XX
+	default 0x80000000 if ARCH_VEXPRESS
 	default 0xa0000000 if ARCH_IOP32X || ARCH_PXA
 	default 0xc0000000 if ARCH_EP93XX || ARCH_SA1100
 	default 0
@@ -338,7 +339,6 @@
 	select ARCH_SPARSEMEM_ENABLE
 	select ARCH_SELECT_MEMORY_MODEL
 	select ARM_HAS_SG_CHAIN
-	select ARM_PATCH_PHYS_VIRT
 	select AUTO_ZRELADDR
 	select TIMER_OF
 	select COMMON_CLK