Wouldn't the right way to fix this be to actually implement the acpi_enable/acpi_disable commands on smi_cmd?
No, you can put system in ACPI mode yourself. The only disadvantage is that you don't get poweroff if power button is pressed for less than 4 seconds (unless implementing IRQ9).
I think all other chipsets in coreboot are doing it this way except Intel ;) Rudolf -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot

