If the device fails to boot after an update: