Patch merged into coreboot/master: b5e777c X86: make the SIPI num_starts a config variable

the following patch was just integrated into master:
commit b5e777c433642950fbe6e907a234995ed7f34b8d
Author: Ronald G. Minnich 
Date:   Mon Jul 22 20:17:18 2013 +0200

X86: make the SIPI num_starts a config variable

The code to figure out how to set num_starts was
    starting to get kludgy. It's a constant for a given
    CPU; constants should be constant; make it a config variable.

This change includes an example of how to override it.
    Build but not boot tested; drivers welcome.

Change-Id: Iddd906a707bb16251615c7b42f2bfb5a044379b4
    Signed-off-by: Ronald G. Minnich 
    Reviewed-on: http://review.coreboot.org/3796
    Tested-by: build bot (Jenkins)
    Reviewed-by: Marc Jones 
    Reviewed-by: Bruce Griffith

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

-gerrit