Check out the link I had shared earlier. That I believe has a procedure for downloading and installing the patch manually, but essentially, you might also bring this to the notice of HP who might be able to release a BIOS that incorporates the microcode update.
↧