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