I suspect you're right in that the $25 is probably just a BOM cost (and an optimistic one at that). Once you actually try to get it built and delivered into someones hands, especially in small batches, I'm sure that $25 could ballon 2-5x easily.
Volume assumption is 10K batches. Anyone think I can't sell 10K of these?
Can you share any more details on the user space situation? Will there be Xorg/Mesa/Gallium support? Will you be relying on Broadcom's driver team for updates, if any, or do you guys have driver source under NDA with which you can support the GPU in future?
This seems to be the biggest concern for many who are looking at the platform. Just trying to gauge what kind of useful lifespan this board will have with regards to keeping an up to date Linux distro running on it. There's going to be a lot of flux and ABI changes ahead in the Linux graphics stack. Some more GPU details on your Wiki would be great if you have them available.