Não parece haver nenhuma fonte autorizada, e a melhor maneira de descobrir com certeza seria entrar em contato com o fabricante (neste caso, a HP), mas isso provavelmente significa que aceitará qualquer taxa de atualização nesse intervalo.
Postagens relacionadas de alguns fóruns (não fontes autorizadas, mas a única explicação lógica de qualquer maneira):