Hi,
UEFI (and its known issues list) has been updated: https://github.com/96boards/documentation/wiki/UEFI
Latest changes introduced SMP support. It has been tested with the 3.18 kernel (hikey branch). hikey-mainline-rebase branch doesn't have the 8 cores online yet (a patch is missing).
latest pre-built binary with the changes is http://builds.96boards.org/snapshots/hikey/uefi/7
Cheers, Fathi