Re: [U-Boot] CONFIG_SPL vs CONFIG_SYS_EXTRA_OPTIONS