There is a interesting post in the german forum.
Seems that Lenovo is workin on ICS for the A1.
Also there's a preview version of it and i think there's a workin sgx driver.
I hope it will help u to develop ur ics version.
If u already know this, pls ignore.