fix linux kernel