BIOS had ACPI, too, so I'm not sure how it contributes to the argument.