Hi,
we updated our environment to ESXi 5.1 with the HP brandet ISO without any issues. Thats what i am doing since 4.0 and it works well.
I install the security patches directly from vmware. Only major release update i am installing from hp. And if there are update like drivers etc.
We also have those both hardware in production.
Frank