para a oficina do sesc de hoje a noite....

http://www.guiadohardware.net/dicas/recompilando-kernel-debian.html