[PATCH] two additions to ./linux/Documentation/ioctl-number.txt