[coreboot-gerrit] Patch merged into coreboot/master: 168eda5 arch/arm64: provide boot_cpu()

the following patch was just integrated into master:
commit 168eda5f0d26a233bd997e0b0597926e80df57a3
Author: Aaron Durbin 
Date:   Fri May 1 16:48:54 2015 -0500

arch/arm64: provide boot_cpu()

Change-Id: I708041133dfafdc97e052952ad9d8f2e4164209c
    Signed-off-by: Aaron Durbin 
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/10105
    Tested-by: build bot (Jenkins)

See http://review.coreboot.org/10105 for details.

-gerrit