Re: [U-Boot] [PATCH] kconfig: remove redundant "SPL" from CONFIG_SYS_EXTRA_OPTIONS