xen/acpi: off by one in read_acpi_id()