hmmmmmmmm...
if you haven't already looked at it , you should check out mizi linux...it is for an embedded dev kit VERY similar to gp32...same cpu, lcd, etc...
it SHOULD have some kind of smc driver in it SOMEWHERE, becuase the kit they sell has an smc slot...
just a thought...