This fixes #7514.  There is now a dangerous deb.
This fixes #7513.  There is now a special program to reload the bootloader.