kernel 64 bit com sistema 32 bits??

Tenho um processador 64 bit mas instalei a debian 32 bit.
Como existem vários tipos de kernel disponiveis nos repositorios para cada processador eu escolhi o amd64.
Para já não tive qualuqer problema e no arranque ganhei 4 segundos ao kernel generico do debian 486
Fiz alguma asneira? Ter um kernel 64 bits num sistema 32 bits??