Raspberry Pi RT Preempt Linux Kernel Build Error

Question

Eu estou tentando construir e instalar um kernel Linux para o Raspberry Pi RT Preempt.

Estes são os passos que eu segui:

1. Eu instalei o kernel kernel-4.4.9-rt17.tgz pré-compilado

2. Eu baixei fontes de kernel do Raspberry Pi e apliquei o patch em tempo real-4.4.9-rt17.patch.gz (eu segui este link para instalação)

3. Eu configurei meu kernel para o Raspberry Pi3, Modelo B usando:

   export KERNEL=kernel7
   
   make bcm2709_defconfig
   

4. Eu configurei o kernel para suportar o Kernel Totalmente Preemptivo (RT) usando

   make -j$(nproc) menuconfig
   

5. Eu construo o kernel usando

   make -j$(nproc) zImage 
   

   mas recebi o erro:

   In file included from arch/arm/kernel/asm-offsets.c:14:0:
   ./include/linux/sched.h:2040:32: error: expected identifier or ‘(’ before ‘&’ token
   define tsk_cpus_allowed(tsk) (&(tsk)->cpus_allowed) ^     ./include/linux/sched.h:3679:37: note: in expansion of macro ‘tsk_cpus_allowed’
   static inline const struct cpumask *tsk_cpus_allowed(struct task_struct *p) ^ In file included from arch/arm/kernel/asm-offsets.c:14:0:
   ./include/linux/sched.h:3687:19: error: redefinition of ‘tsk_nr_cpus_allowed’     static inline int tsk_nr_cpus_allowed(struct task_struct *p) ^ In file included from arch/arm/kernel/asm-offsets.c:14:0:  ./include/linux/sched.h:2042:19: note: previous definition of ‘tsk_nr_cpus_allowed’ was here
   

Você tem alguma ideia para resolver isso? Eu não sei o que estou fazendo errado. Eu realmente aprecio qualquer ajuda.