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