Add kernel checking