ARMV7: Vexpress: Remove config.mk