So, what did you do to resolve it?

I have the same problem. I can boot into windows 10 and use the device without a problem, but cannot modify the BIOS without the password.

Looks like the only solution I see is to replace the EPROM or get ahold of an SMC.BIN file (which HP no longer provides)?

I ...