Currently the UEFI boot code returns the first ACPI address. This may not be the latest ACPI version. On the Intel N150 it returns the RSDT. XSDT is also present on the system though. See line 138 in `uefi.asm`