use the correct kernel branch