work up for galaxy nexus kernel gpu drivers