Looks like standalone AST2400 PCIe x1 cards exist and are sold on AliExpress, but none of them has the Ethernet port for some reason, strange.