Re: [U-Boot] What is the correct way to configure SPL options?