Hi,
I got tired of switching out the jumper, connecting the micro-USB cable, etc and tried:
root@hikey:~# dd if=/tmp/fip.bin of=/dev/mmcblk0p4
Which works, so if you want to upgrade UEFI you can do it in linux. And with the latest changes by Leo that I just merged into ATF 'reboot' now works as well!
-- Koen Kooi Builds and Baselines | Release Manager Linaro.org | Open source software for ARM SoCs