[PATCH 02/11] vexpress64: Kconfig: move board definitions out of arch/arm