Re: [PATCHv2 14/31] Convert CONFIG_BOARD_TYPES to Kconfig