Change name of kernel in build script