fix linux-kernel