Problems compiling arch/ppc/xmon/xmon.o (CONFIG_XMON=y)

Hi

After a clean checkout of xenomai (r1016) and with a config
which defines CONFIG_XMON I get the following errors:
  CC      arch/ppc/xmon/xmon.o
In file included 
from /mnt/data.ng/hcu/kernel/ppc/linux-2.6.14/arch/ppc/xmon/xmon.c:23:
/mnt/data.ng/hcu/kernel/ppc/linux-2.6.14/arch/ppc/xmon/privinst.h:26: error: 
conflicting types for ‘get_rtcu’
include2/asm/time.h:102: error: previous definition of ‘get_rtcu’ was here
/mnt/data.ng/hcu/kernel/ppc/linux-2.6.14/arch/ppc/xmon/privinst.h:27: error: 
conflicting types for ‘get_rtcl’
include2/asm/time.h:95: error: previous definition of ‘get_rtcl’ was here
/mnt/data.ng/hcu/kernel/ppc/linux-2.6.14/arch/ppc/xmon/privinst.h:32: error: 
conflicting types for ‘get_dec’
include2/asm/time.h:39: error: previous definition of ‘get_dec’ was here
/mnt/data.ng/hcu/kernel/ppc/linux-2.6.14/arch/ppc/xmon/privinst.h:32: error: 
conflicting types for ‘set_dec’
include2/asm/time.h:48: error: previous definition of ‘set_dec’ was here
make[2]: *** [arch/ppc/xmon/xmon.o] Fehler 1
make[1]: *** [arch/ppc/xmon] Fehler 2

Best regards
-- 
Niklaus Giger