acpi reboot doesn't call into the aml interpreter. It just bangs on a
port that it reads from a static table. See acpi_reboot().
It's true that SMM could be set up to intercept that port, but in that
case, it is even more likely that it intercepts the keyboard controller
port (to translate usb keyboards etc).
--
error compiling committee.c: too many arguments to function
--