[PATCH libdrm 10/10] drmdevice: print the correct host1x information