CC      kernel/ktimers.o
kernel/ktimers.c: In function 'enqueue_ktimer':
kernel/ktimers.c:756: error: incompatible type for argument 1 of
'trace_special_u64'
make[1]: *** [kernel/ktimers.o] Error 1
make: *** [kernel] Error 2

.config attached.

Lee