The text dfb0cac85dd6, as Debian 7 (Wheezy) shipped it.
get kernel boot parameters
fb_get_options(9) on Linux now
