Makefile: Boost this kernel with opt flagS