Re: [PATCH 8/8] Convert CONFIG_BOARD_LATE_INIT to Kconfig