[TF-A] TF-A and U-Boot: How to Boot a specific u-boot image