arm/kconfig: inverse the board selection