ACPI Table Dumps for SFO15-TR9: ACPI, PSCI (and UEFI to boot)

These are text files from the output of iasl. 
You can dump them from a running system with dd.

APIC.dsl - Interrupts and CPU affinity
DSDT.dsl - System, peripherals, registers, interrupts, driver entry points
FACP.dsl - Power management, PSCI and link to the DSDT
GTDT.dsl - Timer block