[PATCH] Document how to decode an IOCTL number