switch to correct kernel