kernel: fix typo in Makefile.