[Dev] UEFI update - SMP support added

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