I don't think that there is any existing driver support in LinuxCNC for those cards. (There is a driver for a PCI-8255 but I think that is just a coincidentally similar name)
I think it is probably easier to choose hardware that is already supported. The Mesa PCI cards are probably cheaper than the ones you linked to, too.
