Fix selection of Kernel.