Боже, мне бы ваши проблемы. Форматируете флешку любую через

Боже, мне бы ваши проблемы.

Форматируете флешку любую через HP USB Storage Format tool в фате или фат32, даже не загрузочный.
Просто копируете на нее файл БИОСа
Заходите в этот самый фирменный прошивальщик из биоса, выбираете диск и вуаля.