Hi.
Just wanted to point you in the direction of the first Android ICS port to the Genesi EfikaMX, an i.mx51 based platform. It includes hardware GL acceleration for the user interface.
More info here:
http://www.powerdeveloper.org/forums/viewtopic.php?p=15539
http://www.powerdeveloper.org/forums/viewtopic.php?p=15539and
http://www.powerdeveloper.org/forums/viewtopic.php?p=15538
A video can be found here:
http://www.youtube.com/watch?v=hxzeraONFIM
Johan.