make_bad_inode(9) on Linux

The text b56c4031f238, as Debian 9 (Stretch) shipped it. The page shows this text now.

mark an inode bad due to an I/O error

make_bad_inode(9) on Linux now