Add InfinityBook v4 (#159)

README.md

@@ -79,6 +79,7 @@ See code for all available configurations.
 | Supermicro A1SRi-2758F            | `<nixos-hardware/supermicro/a1sri-2758f>`          |
 | Supermicro X10SLL-F               | `<nixos-hardware/supermicro/x10sll-f>`             |
 | [Toshiba Chromebook 2 `swanky`][] | `<nixos-hardware/toshiba/swanky>`                  |
+| [Tuxedo InfinityBook v4][]        | `<nixos-hardware/tuxedo/infinitybook/v4>`          |
 
 [Acer Aspire 4810T]: acer/aspire/4810t
 [Apple MacBook Pro 10,1]: apple/macbook-pro/10-1

tuxedo/infinitybook/v4/default.nix

@@ -0,0 +1,5 @@
+{
+  boot.kernelParams = [
+    "i8042.reset"
+  ];
+}