Re: [coreboot] x86 SMM handler Local APIC assumptions