lspci does not show Broadcom Netxtreme II network card

I bought a Broadcom Netxtreme II dual port network card (BCM5709) for the TX1 PCIe slot, but lspci does not not list it and so the bnx2 driver doesn’t see it. The card itself is good.

What could cause a PCIe device to not show up on the TX1 dev board via lspci?

…found the answer on the forum. Disabled the Tegra SATA driver in the kernel and now it shows up.