ACPICA tools for the development and debug of ACPI tables