Re: [U-Boot] Dynamically define which Kernel image to boot during SPL execution