Re: [coreboot] [patch] ck804 ACPI PIC/APIC interrupt logic