Hi,
I was just browsing the sdcard.org and found this:
https://www.sdcard.org/downloads/formatter_3/
I think this would be a better option for SD card formating procedures instead of the HP ones - given that HP utility is no longer officially supported/maintained.
I have not explored it though since I do not have SD card/reader available. Just food for thought.
Regards,
Madhvapathi Sriram