[coreboot-gerrit] Patch merged into coreboot/master: 15c671e boot state: remove drain timers option

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 15c671efb5e6834824569a812dcec7bb5d5ce384
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Mon May 6 10:52:24 2013 -0500

    boot state: remove drain timers option
    
    Internally there were states that had an attribute to
    indicate that the timers needed to be drained. Now that
    there is a way to block state transitions rely on this
    ability instead of draining timers. The timers will
    drain themselves when a state is blocked.
    
    Change-Id: I59be9a71b2fd5a17310854d2f91c2a8957aafc28
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: http://review.coreboot.org/3205
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>

Build-Tested: build bot (Jenkins) at Tue May  7 09:47:00 2013, giving +1
Reviewed-By: Stefan Reinauer <stefan.reinauer at coreboot.org> at Tue May  7 20:08:03 2013, giving +2
See http://review.coreboot.org/3205 for details.

-gerrit