The most embarrassing is that - unlike every pc since 15 years - there is no way to restore the default firmware settings...
Have you even looked at the page? It clearly mentions a way to restore the firmware if the bug rendered your computer unbootable!
