Small corrections on kernel makefile