Construir módulos para o kernel Linux-tkg
