Corrigido no final usando wincrisis.
Se você puder encontrar uma cópia (aparentemente versões anteriores a 10.0.0.4 não suportam unidades USB), baixe o BIOS da HP, execute-o e anote a pasta na qual você salvou os arquivos.
Ignore o aviso sobre a falha do flash em um sistema sem suporte e vá para a pasta na qual os arquivos foram salvos. Nele, deve haver um ou dois arquivos com uma extensão WPH.
Copie um destes para a pasta wincrisis.exe, e renomeie-o para BIOS.WPH (pode ser sensível a maiúsculas e minúsculas), em seguida, execute wincrisis.exe e deixe-o formatar a unidade e copiar os arquivos relevantes.
Em seguida, conecte-o ao laptop, segure o Windows + be ligue-o. Quando você vê o LED de atividade da unidade USB começar a piscar, pode soltar o teclado. O LED deve piscar solidamente por alguns minutos. Então parou e os fãs começaram a correr alto por alguns minutos, depois desligou-se.
Se isso não funcionar, tente outro drive USB. Aparentemente, 512Mb é o ideal, mas eu usei um 4Gb. Também wincrisis.exe não parece funcionar no meu pc 7x64, mas correu bem em uma caixa XPx86.
Ligou e fez o trabalho.