No such device (ARM Mali-T720) in the database (yet)!