Try to catch double-free bugs in the ACPI code. For now generate a warning