Comment 14 for bug 1172065

Fair enough.
I came across this while troubleshooting a problem that I later discovered to be reported by bug https://bugs.launchpad.net/ubuntu/+source/grub-installer/+bug/1252255 and rather than repeat what I have found over there, I earlier posted a link there back to this bug.

Hopefully what I have found proves useful to resolving that error for others, so I'll leave it at that.