Construção de módulos para o kernel Linux-tkg
