CONFIG_ARCH_BCM2708=y
# CONFIG_BCM2708_DT is not set
CONFIG_VMSPLIT_3G=y