The text a88d25071fe4, as Debian 7 (Wheezy) shipped it.
release memory allocated by vmalloc
vfree(9) on Linux now
