systems/x86_64-linux/saurosuchus/hardware/cpu/default.nix

{ lib, config, ... }:
{
  hardware.cpu.amd.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
}