Eu estava equivocado com relação à forma de fazer o controle remoto funcionar no meu sistema. Não é necessária nenhuma compilação e, portanto, não preciso dos fontes do kernel.

Depois de ler alguns posts no fórum, simplesmente alterei duas linhas do arquivo /etc/lirc/hardware.conf :

DEVICE="/dev/lirc0"
MODULES="lirc_dev lirc_gpio"

Foi só dar um boot e pronto! Controle remoto funcionando!

Agora vou atrás das bibliotecas do DeCSS. O pessoal nos EUA está com muito medo de ser processado por incluir em seus produtos software que "facilite" a pirataria. Então, nesta versão, nem o script de instalação automática do DeCSS foi incluído. Voltemos ao Google...