PREPROCESS_PARTS += $(if $(CONFIG_PF_REALVIEW_EB),realview_eb)
PREPROCESS_PARTS += $(if $(CONFIG_PF_REALVIEW_PB11MP),realview_pb11mp)
PREPROCESS_PARTS += $(if $(CONFIG_PF_REALVIEW_PBX),realview_pbx)
+PREPROCESS_PARTS += $(if $(CONFIG_PF_REALVIEW_VEXPRESS),realview_vexpress)
CONFIG_KERNEL_LOAD_ADDR := $(CONFIG_PF_REALVIEW_RAM_PHYS_BASE)
+MPCORE_PHYS_BASE := $(if $(CONFIG_PF_REALVIEW_VEXPRESS),0x1e000000,0x1f000000)
+
ifeq ($(CONFIG_ARM_MPCORE)$(CONFIG_ARM_CORTEX_A9),)
PREPROCESS_PARTS += sp804
timer_IMPL += timer-arm-realview