Kernel compile error

Hi

I'm compiling a real-time kernel in linux, but after I type make bzImage things end with this:

(Things going well doing CC and things)....

  CC      arch/x86/kernel/kgdb.o
  CC      arch/x86/kernel/vm86_32.o
  CC      arch/x86/kernel/early_printk.o
  CC      arch/x86/kernel/ipipe.o
arch/x86/kernel/ipipe.c: In function �__ipipe_divert_exception�:
arch/x86/kernel/ipipe.c:810: error: �ex_do_device_not_available� undeclared (first use in this function)
arch/x86/kernel/ipipe.c:810: error: (Each undeclared identifier is reported only once
arch/x86/kernel/ipipe.c:810: error: for each function it appears in.)
make[1]: *** [arch/x86/kernel/ipipe.o] Error 1
make: *** [arch/x86/kernel] Error 2

Does someone know what this means, and how to resolve it?

https://mail.gna.org/public/xenomai-help/2009-03/msg00044.html

why not use precomplied ubuntu kernels from kernel.ubuntu.com