jailhouse: linux-config: Use the custom version. Changes includes:

[jailhouse.git] / ci / jailhouse-config-vexpress.h

#define CONFIG_TRACE_ERROR              1
#define CONFIG_ARM_GIC                  1
#define CONFIG_MACH_VEXPRESS            1
#define CONFIG_SERIAL_AMBA_PL011        1