Sure, the line is porous, but if it can be fixed by doing something with software that is documented by the manufacturer then I think it's definitely not bricked. In this case booting from recovery.