kernel: fix build problem for "make -C ..."
2 files changed