Hi, From the logs I understand BL31 is started by U-Boot SPL rather than TF-A's BL1/BL2, correct? dino game