acpi: use xsdt on 64bit if available

Fix #155