PCI-E USB 3.0 Card for TX1

Has anyone gotten a PCI-E usb 3.0 card reader to work with L4T? Ive tried using this model but L4T can’t boot with it in the PCI-E slot. Does anyone have a good PCIE to usb card for the dev board?

I don’t have an answer, but I am curious if you used the external molex power connector? Also if the card showed up under lspci?

EDIT: I’m thinking less expensive cards do not use the advanced error corrections that more expensive cards might use. I’m also thinking cards with aec might better deal with spread spectrum.