[coreboot] Patch merged into coreboot/master: 8c20399 haswell: wait 10ms after INIT IPI

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 8c20399a42a6bb76f537042b4d7ba725ac78f10c
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Thu Jan 17 11:13:46 2013 -0600

    haswell: wait 10ms after INIT IPI
    
    There should be a fixed 10ms wait after sending an INIT IPI. The
    previous implementation was just waiting up to 10ms for the IPI to
    complete the send. That is not correct. The 10ms is unconditional
    according to the documentation. No ill effects were observed with the
    previous behavior, but it's important to follow the documentation.
    
    Change-Id: Ib31d49ac74808f6eb512310e9f54a8f4abc3bfd7
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: http://review.coreboot.org/2780
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>

Build-Tested: build bot (Jenkins) at Tue Mar 19 02:31:25 2013, giving +1
Reviewed-By: Ronald G. Minnich <rminnich at gmail.com> at Tue Mar 19 05:26:12 2013, giving +2
See http://review.coreboot.org/2780 for details.

-gerrit