Ditto. I seem to have got round the issue by running sudo apt-get install --reinstall syslinux-themes-debian.