Hikey SD card boot

As reported on https://github.com/96boards/documentation/issues/545, the instructions to make a bootable SD card are incorrect or at least incomplete. I was requested in the ticket to report here for visibility. Is the image proposed broken or am I doing something wrong?