Re: [coreboot] ACPI/APIC related questions in coreboot.