Good questions. Except for few photos on their blog http://openpandora.org/blog.php and few posts in the forum there is not much information. As for answers - I think it is definitely 35xx, see http://openpandora.ca/ (page owner is MWeston, one of Pandora HW guys). BTW, they stated they will provide binary blobs for accelerated OpenGL. As for IVA/DSP support I dont know. It may be still too early to know some answers. To me it seems they are just happy to have the hardware working and are just starting to care about SW side (even the kernel one :-). Shipping usable devices in July to end-users (like Karel :-) seems quite unlikely to me in current state. I don't know how it was at the beginning of GP2X but I guess the first 3000 batch will sell to hardcore linux developers/gamers who will make the device usable in coming months/years for the rest. For this year I think about it like nice developer board with finished case, keyboard etc as a bonus, not finished product for ordinary user.

EDIT: as for availability - "BTW, little to no delay means production in August and delay means September-October."