[PATCH 08/12] Add initial vexpress defconfig fragment