docs fix makefile and typo
differ kernel name