nixos-hardware/tuxedo/infinitybook/v4/default.nix

{
  boot.kernelParams = [
    "i8042.reset"
  ];
}