Texas Instruments released this video showing that Ice Cream Sandwich 4.0 now already boots fine on the OMAP4430 based $179 Pandaboard which you can buy at http://pandaboard.org. I expect that we might see Desktop-optimized user interfaces and a full Chrome web browser soon, maybe with Android 4.1 or 4.2. As I also think it’s important for every ICS smartphone to turn into a “desktop mode” when using the HDMI output and when a keyboard and mouse are detected.