SATA interrupts work, they were on a different pin than reported by ACPI. I still need to determine why this is the case.