Eu tentei fazer a mesma coisa em um HP EliteBook 6930p alguns anos atrás e não consegui fazê-lo funcionar também. Então, o que eu fiz foi a seguinte solução alternativa:
- eu defino uma senha de inicialização do BIOS
- eu defini o método de autenticação do Windows para impressão digital