I've put the device config for ICS up on GitHub, so anyone that wants to can build from it. You can also get a prebuilt version of it here: http://www.multiupload.com/1Y14642PG0 (I'm not bothering making a new thread for it). It should be ok enough to poke around in. Consider it some kind of Christmas gift.