Eu entrei em contato com o departamento de TI do CERN sobre o pacote de kernel pré-compilado e para confirmar minhas suspeitas, eles criaram o pacote kernel-rt (rpm) baseado no GCC 4.4.7-x .
Como eu descubro, nas versões do GCC anteriores a 4.6, ele usa o símbolo __mcount__
para rastreamento de função quando necessário. Isso foi substituído por __fentry__
no GCC 4.6 e acima.
Resolução : A fim de corrigir o símbolo que faltava, tive que recompilar o kernel do Linux a partir do código-fonte usando uma versão mais recente do compilador (4.9.1 neste caso) e então consegui construir e vincular o módulo do kernel sem problemas usando o mesmo compilador.