Patch merged into coreboot/master: b55e2f4 Actually return %ebx value from cpuid_ebx()

the following patch was just integrated into master:
commit b55e2f4611720891e645c719b1ec040ae00f88b0
Author: Jonathan A. Kollasch 
Date:   Sun Apr 8 11:32:34 2012 -0500

Actually return %ebx value from cpuid_ebx()

Change-Id: I75f8f942950cad94439a10e389490ecfdd9272fe
    Signed-off-by: Jonathan A. Kollasch

Build-Tested: build bot (Jenkins) at Sun Apr  8 18:51:51 2012, giving +1
Reviewed-By: Stefan Reinauer  at Sun Apr  8 20:06:57 2012, giving +2
See http://review.coreboot.org/880 for details.

-gerrit