After following the instructions to build and flash UEFI (at https://github.com/96boards/documentation/wiki/HiKeyUEFI") I get to the point of loading the new loader and see:
Switch to aarch64 mode. CPU0 executes at 0xf9801000!
on the serial console. and
fastboot flash ptable ptable-linux.img sending 'ptable' (17 KB)... FAILED (remote: invalid partition)
What am I doing wrong?