Hi Margit,

> Either it is not supposed to work builtin, in which case, the make
> should only offer it as a module, - or , somebody forgot to adjust
> lib/Makefile and kernel/ksyms.c

the attached patch should fix this problem. Please confirm it and I
resend it to Marcelo.

Regards

Marcel