Re: [PATCH] server_ioctl_file() - Prefix printed hex values with '0x'