use correct kernel config