[PATCH 14/30] Convert CONFIG_BOARD_TYPES to Kconfig