The text e0d292586f47, as Debian 7 (Wheezy) shipped it.
introduction to boot time parameters of the Linux kernel
bootparam(7) on Linux now
