One thing that puzzles me is that some machines were sold as low power servers, including for the small enterprise, what if the enterprise decides to add an add on card with a PCI bridge on it ?
So who knows, maybe there are machines out there with an updated firmware..