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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit bbdf01de632e76ef437fbc1dcd53c1048af95007
Author: Aaron Durbin <adurbin at chromium.org>
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 <adurbin at chromium.org>


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

-gerrit