Linux 커널 모듈 크로스 컴파일

Ubuntu Trusty x86_84에서 x86 32비트 Linux 커널 v3.7.1을 성공적으로 컴파일했습니다. 그런데 동일한 커널 소스를 제공하여 간단한 커널 모듈을 빌드하려고 하면 커널 v3.7.1에서 작동하는 64비트 모듈이 생성됩니다(예상).

32비트 커널 모듈을 생성하려면 모듈 빌드 프로세스를 어떻게 조정해야 합니까?