[PATCH 3.18 127/185] xen/acpi: off by one in read_acpi_id()