[dspillett]

The question was what happens if your device is bricked. Bricked means you are unable to even apply a patch and need to take the device in for servicing or replacement.

If you are able to apply an update yourself, your device is not bricked.

[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?".