ACPI: make acpi_dmi_dump() static