No Ubuntu Trusty x86_84, eu consegui compilar o kernel Linux v3.7.1 para x86 de 32 bits. No entanto, como estou tentando construir um módulo de kernel simples alimentando os mesmos fontes do kernel, ele me renderá um módulo para o kernel v3.7.1 (esperado), 64 bits.
Como posso ajustar o processo de criação de módulos para gerar um módulo de kernel de 32 bits?