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