Usar el DNI electrónico en Debian Etch (4.0) GNU/Linux

Ahora que va a estar de moda el nuevo DNI electrónico, probablemente queramos utilizarlo en Linux, aparte del omnipresente Windows. Si este es nuestro deseo, podemos cumplirlo fácilmente. A continuación describo cómo lo he conseguido yo en una distribución muy popular: Debian Etch (4.0, actualmente en pruebas y que dentro de poco será la versión estable)...