hw/acpi: remove dead acpi code