IsBadHugeReadPtr(3w) on Linux

The text 0b5dd86243cb, as Debian 4.0 (Etch) shipped it.

IsBadHugeReadPtr(3w) on Linux now