scripts/ver_linux has been rewritten as an awk script; update
documentation to reflect this fact.
Signed-off-by: NKevin Peng <kkpengboy@gmail.com>
Signed-off-by: NJonathan Corbet <corbet@lwn.net>