panfrost: Prettify GPU IDs
We load the raw GPU ID into screen->gpu_id
and use it to specialize the driver for particular hardware versions. For instance, 0x720
is T720; 0x750
is T760; and so forth. Look at the kernel driver for more details about the expansions.
We should have a function in userspace to prettyprint a GPU ID as a full GPU name, as in 0x750
-> "Mali T760".
Then, that function should be used for panfrost_get_name
.
The behaviour can be verified based on the results of es2info -- it should contain the GPU name.