The text b4ef3d452b01, as Debian 7 (Wheezy) shipped it.
request a key from the kernel's key management facility
request_key(2) on Linux now
