acpi_piix4: fix segfault migrating from 1.2