The nixos-hardware module also upgrades your linux kernel for this model already: https://github.com/NixOS/nixos-hardware/blob/e2f9c6f7360f3e0...