Patch merged into coreboot/master: 5f96749 intel/sandybridge: make sure to stay in HLT until reboot

the following patch was just integrated into master:
commit 5f967492e351ea6bc473a6d192fe4e2aafc00b1e
Author: Patrick Georgi 
Date:   Mon Nov 24 22:15:09 2014 +0100

intel/sandybridge: make sure to stay in HLT until reboot

It also tells the compiler that we never leave here.

Change-Id: I824569efd46b577588387b29fc7781abf8c42385
    Found-by: Coverity Scan
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/7579
    Reviewed-by: Paul Menzel 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan

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

-gerrit