Update. I actually hadn't installed all updates. I did so (apt-get update; apt-get dist-upgrade), particularly bringing dell-recovery up to 1.24.2~precise13, and retried, but I still get the same result, so the problem is still present.
Update. I actually hadn't installed all updates. I did so (apt-get update; apt-get dist-upgrade), particularly bringing dell-recovery up to 1.24.2~precise13, and retried, but I still get the same result, so the problem is still present.