Re: [PATCH 4/4] Convert CONFIG_BOARD_COMMON to Kconfig