No longer include MirOS BSD in isolinux/syslinux boot menu