Add the proper license header to musikernel.h