Thanks a lot!
Today I did more experiments. It turned out following the official guide from Fedora, the board can also boot (using Bananapi instead of Bananapro). I've also tried compiling u-boot from source, also booted, but no HDMI output.
I'm happy with your images, latest kernel which is great!
I'm OK with headless as long as I can ssh to the board.
Currently the only reliable way to figure out the board booting or not is by checking the ethernet lights.
I will give HDMI another go using your instructions. Thanks again!