Binary: switch-pxe-menu

Debian packages that has this binary:

Package: drbl

/usr/share/drbl/sbin/switch-pxe-menu