Re: [coreboot] AMD platform: IO-APIC => Local APIC delivery modes