[Linaro-validation] Xen lava job and vexpress-tc2 board setup