O arquivo deb não pode ser convertido em arquivo ko. O arquivo deb é um pacote debian que é um arquivo compactado contendo os arquivos do pacote com as instruções de instalação. O arquivo ko é um objeto do kernel (módulo). Eles são muito diferentes.
No entanto, você deve obter os arquivos necessários se esse for realmente o driver necessário. Para ver os arquivos instalados, use o seguinte comando:
$ sudo dpkg -L hp-be2net