[PATCH] x86_64: Fix off by one in acpi table mapping