alexion
25049c8aef
The laptop's hardware facts were guessed before it ran NixOS. Hand them to the upstream nixos-hardware profile for this exact model, which fixes four things that are wrong on the running machine: the laptop suspends into s2idle rather than deep S3, the PS/2 mouse driver loads over an i2c touchpad, no thermal management runs, and firmware updates are impossible. The profile is taken wholesale, including the Intel graphics support it carries. Those packages are inert without a display server, and trimming them would mean diverging from upstream for no present benefit. Drop the host's own Intel microcode setting, which the profile now defaults from the redistributable firmware already enabled here. The input follows the base nixpkgs: only its NixOS modules are consumed, so its own pin would be evaluated by nothing while drifting silently. The two acceptance criteria needing a reboot are left open; the sleep mode and module blacklist only take effect on a fresh boot.