The text 3e8b21c5f4f9, as Debian 7 (Wheezy) shipped it.
utility to set PXELINUX hard-coded options.
pxelinux-options(1) on Linux now
