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

the following patch was just integrated into master:
commit 8c20399a42a6bb76f537042b4d7ba725ac78f10c
Author: Aaron Durbin 
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 
    Reviewed-on: http://review.coreboot.org/2780
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

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

-gerrit