VFAT_IOCTL_READDIR_SHORT(2const) on Linux

The text af3c5b74a164, as Debian 13 (Trixie) shipped it.

read filenames of a directory in a FAT filesystem

VFAT_IOCTL_READDIR_SHORT(2const) on Linux now