Unfortunally, this will likely break things when you upgrade tmpfs
install boxes with setup-bootable -u. We can think if we want fix that
somehow or if we simply document it and let users manually either
recreate or manually edit their syslinux.cfg

Meanwhile, it would be nice if I could get some help with testing the
boot images.