Add Herve's real name to the Hirens bare metal instructions.