Use the correct kernel