[coreboot] Questions to ACPI, Interrupts, APICS (M57SLI)