To boot a device in uefi or bios mode it is sufficient to assign the bootimage via dhcpd.conf. There is no need for a configuration option. Related Issue: https://github.com/linuxmuster/linuxmuster-base7/issues/159