Look for the correct kernel!