This fixes #7643.  This script runs the bootloader for a device.
A documentation tweak for bug #7643.