A newer 2010.10.25 BIOS is available:
http://h20000.www2.hp.com/bizsupport/TechSupport/SoftwareDescription.jsp?lang=en&cc=us&prodTypeId=15351&prodSeriesId=3577708&swItem=MTX-8a03a95409d541848a5622a22d&prodNameId=3577715&swEnvOID=4006&swLang=8&taskId=135&mode=4&idx=2
However, the bug isn't exactly a kitten killer, so one should consider the risk/benefit before re-flashing the BIOS.
A newer 2010.10.25 BIOS is available:
http:// h20000. www2.hp. com/bizsupport/ TechSupport/ SoftwareDescrip tion.jsp? lang=en& cc=us&prodTypeI d=15351& prodSeriesId= 3577708& swItem= MTX-8a03a95409d 541848a5622a22d &prodNameId= 3577715& swEnvOID= 4006&swLang= 8&taskId= 135&mode= 4&idx=2
However, the bug isn't exactly a kitten killer, so one should consider the risk/benefit before re-flashing the BIOS.