Re: [PATCH] tpl: Kconfig: TPL_BANNER_PRINT depends on DEBUG_UART && TPL_SERIAL