Editei o arquivo rtaidir/rtai-arch.c e alterei a definicao RT_TIMER_IRQ:
#ifdef CONFIG_M5282
//#ifdef CONFIG_EMAC
#define RT_TIMER_IRQ (55+64)
//#else
//#define RT_TIMER_IRQ 72
//#endif
#endif
Editei o arquivo include/asm-m68knommu/rtai.h e alterei a definicao TIMER_8254_IRQ:
#ifdef CONFIG_M5282
//#ifdef CONFIG_EMAC
#define TIMER_8254_IRQ (55+64)
//#else
//#define TIMER_8254_IRQ 72
//#endif
#endif