kernel.mk: add KCFLAGS to make kmods reproducible