[PATCH 12/12] Update vexpress to be closer to linaro config