[coreboot-gerrit] Change in coreboot[master]: cpu/x86/lapic: Unconditionally use CPUID leaf 0xb if available

[Tim Wawrzynczak (Code Review)]

Attention is currently required from: Wonkyu Kim, Angel Pons, Kyösti Mälkki, Felix Held.
Tim Wawrzynczak has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/58386 )

Change subject: cpu/x86/lapic: Unconditionally use CPUID leaf 0xb if available
......................................................................

Patch Set 4:

(1 comment)

File src/cpu/x86/smm/smm_stub.S:

https://review.coreboot.org/c/coreboot/+/58386/comment/1dc94987_60ca13ff 
PS4, Line 108: 	jc	1f
> JC, JB, JNAE = Jump if CF = 1 […]

the carry flag and zero flag are set as if `%eax - $0xb` is performed, so if the highest leaf is < 0xb, then the carry flag will be set, so agree this looks correct.