[PATCH 10/57] arm: Remove vexpress_ca15_tc2 board