Makefile: update kernel name.