O disco da HP está aqui , hoje. Tem um link de download e instruções sobre como usá-lo.
(Você vai querer criar o disco e então usar um código na tela de boot para que o instalador peça o disco na hora certa. Esse código pode ser como 'instalação do linux dd')