Existem muitas variáveis para alguém aqui para lhe dar uma resposta definitiva. A única maneira de saber seria por experiência, mas as coisas poderiam ter mudado desde que essa pessoa experimentou, incluindo revisões de versão do BIOS, etc.
A melhor coisa a fazer é perguntar ao revendedor HP ou ao vendedor e obter a resposta por escrito. Dessa forma, se não der certo, você terá influência para obter um retorno processado.