This workaround fixes this issue : sudo mkdir -p /usr/share/syslinux/themes/debian/extlinux Note that extlinux and syslinux packages are uptodate from bpo. -- Alain Rpnpif