Checkout correct kernel branch