No such device (Marvell pxa1U88dkb_def (Vivante GC3000)) in the database (yet)!