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