No, I don’t believe so.
It seems that U-Boot believes the preferred video mode of your device is 720p50. It would be good if you could run the following commands to confirm whether the kernel also believes this:
cat /sys/class/amhdmitx/amhdmitx0/edid
cat /sys/class/amhdmitx/amhdmitx0/disp_cap
If you have an AVR, you may wish to connect directly to the TV temporarily. It’s possible it’s giving the device the incorrect EDID.
Sam