Add support for compiling driver under specified kernel