Improved documentation regarding kernel device numbers