This reverts commit 6eeede605f8d181b105c40f3837c57714d65d061.
NixOS hardware configuration for TUXEDO Pulse 15 - Gen2.