Re: [PATCH 1/9] Convert CONFIG_TPL_TEXT_BASE to Kconfig