Re: [U-Boot] [U-Boot, 07/12] board/BuR/brppt1: drop dead code (CONFIG_SPL_OS_BOOT)