> I would bet that this story of a failed BIOS update reaches the support anytime soon and they provide a repair guide or maybe a replaceable BIOS chip. Stories like this are somehow sad but at least they help to improve.

Original author here. I like your optimism, but I've linked multiple threads on their forums with people doing the same problem going back over a year. I also pieced together most of the stuff from people doing external flashing on the forums. Still, no official guides, no changes as far as I can tell. This post is the most detail repair guide available right now.

If something happens after this, it would be because this post got to the top of HN and they have to respond to save face.