Document the ioctl() argument types for sd(4)'s ioctls

Also, cleanup some lies about which header defines these ioctls