[coreboot-gerrit] Patch merged into coreboot/master: bbdf01d x86: provide stage_exit() like arm

the following patch was just integrated into master:
commit bbdf01de632e76ef437fbc1dcd53c1048af95007
Author: Aaron Durbin 
Date:   Thu Jan 30 15:48:29 2014 -0600

x86: provide stage_exit() like arm

The arm architectures have a stage_exit() function
    which takes a void * pointer as an entry point. Provide
    the same API for x86. This can make the booting paths
    less architecture-specific.

Change-Id: I4ecfbf32f38f2e3817381b63e1f97e92654c5f97
    Signed-off-by: Aaron Durbin

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

-gerrit