Apparently since forever, FreeBSD has only supported one interrupt resource per device in ACPI, and failed rather quietly (not pointing to the reason) when there are multiple interrupts listed for a device.
The NXP Layerscape LX2160A (SolidRun HoneyComb LX2K etc.) has the following DSDT entries for the AHCI SATA controllers:
Device(SAT0) { ... Name(_CRS, ResourceTemplate() { Memory32Fixed(ReadWrite, SATA0_BASE, SATA_LEN) Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) { SATA0_IT_1, SATA0_IT_2, SATA0_IT_3 } ...
And they were mysteriously failing to attach. Took me quite some time to dig deep enough to find this.