Drew DeVault on Nostr: Answer: turns out it was a bug in the AHCI driver. Took me ages to figure that out.