ACPI, firmware and your security