Use correct kernel config