Hi Adrian,
Only one boot method (Boot location: NOR flash) is mentioned on Hardware Configuration page for T4240RDB.
In known issues we have:
SDK-309736 Due to a board limitation, the T4240RDB does not support alternate bank capability which is typical for most boards.
So I'm not sure how can I verify my u-boot without bricking the board?
Thanks,
Fahad