[PATCH 06/11] vexpress64: move hardware setting from defconfig to Kconfig