Solução: Sou um idiota e deveria ter usado o script add_repo.sh fornecido pela HP. Eu estava convertendo minha linha de deb de um formato antigo fornecido pelo sistema SDR herdado e não percebi algumas alterações no formato. O formato correto para a linha deb é:
deb http://downloads.linux.hp.com/SDR/repo/mcp/ubuntu/ precise/current non-free
Se você usar a versão incorreta postada acima, seus pacotes serão baixados, mas o arquivo Release e o gpg correspondente não serão.