tests: acpi: make pointer to RSDP 64bit