Use the proper kernel