[iddqd]

This bug hasn't caused any devices to get bricked either. The title is wrong. The recovery menu is accessible, so is definitely patchable.

[dspillett]

Correct with respect to the issue discussed in the article.

Though I was answering the related hypothetical question "What happens if an official update bricks your device and the warranty expired?".