Arquivos que serão mudados, make sabe o que fazer ;]

arquivos a serem mudados estão na raiz do repositório (pra gente
trackeá-los), daí o `make all` copia os arquivos pros seus devidos
lugares e chama o make do kernel.