- fix kernel makefile (currently broken)