Yes thats the one I used, the latest one from February 2013.
But the firmware update wasn't released to the end of May 2013 and therefore is not included on the DVD.
That’s why I used the HP USB utility to put the ISO onto a USB stick and then added the package into the swpackages folder.
The server then boots from the stick but gets stuck on the edd=off message.
Thanks,