Re: [coreboot] [PATCH]rename apic to lapic in device trees