Unless the laptop is acting up or there is something wrong specifically with the BIOS and HP doesn't have an update on their support site, I'd hold off until HP releases something. You do not want to risk bricking the laptop, which is a major headache to reverse. Either that or you can get in touch with HP support to see if they recommend using what is out there or not.