[coreboot] P3B-F's ACPI dilemma... Should I go further?