finally maybe somewhat the correct kernel config