> it should be harmless. Does the patch below fix the warnings?
Yes, the warnings are gone, thanks!
However, I found another somewhat strange thing while testing it - touching kernels/sched_debug.c does not cause a recompile since sched_debug.c is only #included from sched.c. Found it because I was looking for sched_debug.o recompile.