[coreboot] New patch to review for coreboot: 6380ed4 Unify setting 82801a/b/c/d IOAPIC ID