Since they have distributed the board with U-Boot 2018.03, which is very old, there are probably lots of problems that can be fixed with a newer U-Boot. I don’t know why they didn’t release it with the latest version. I suspect EFI booting is broken because of this.