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