For what it is worth, if anyone needs MiniPCI Port-80 boards: http://www.pctestpro.com/post/pcipost.htm (all the way at bottom) http://www.costronic.com/Ev014mp.htm http://siliconkit.dnsalias.com/cart/tpcim.html
Another option is to use a miniPCI to PCI adapter which you can plug your regular 3.3V PCI POST card into.
http://www.interfacemasters.com/products/pci_tools/mini_pci_to_pci/index.htm...
yeah, with the $65'000 question being where do I find such 3.3V POST card.