diff --git a/supermicro/a1sri-2758f/default.nix b/supermicro/a1sri-2758f/default.nix
index c16c093936e2..3ffdc0c6e6d2 100644
--- a/supermicro/a1sri-2758f/default.nix
+++ b/supermicro/a1sri-2758f/default.nix
@@ -1,20 +1,9 @@
 # http://www.supermicro.com/products/motherboard/Atom/X10/A1SRi-2758F.cfm
-#
 # This board contains a TPM header, but you must supply your own module.
-#
 
-{ pkgs, lib, ... }:
+{ pkgs, ... }:
 
 {
-  imports = [ ../lib/kernel-version.nix ];
-
-  environment.systemPackages = [ pkgs.ipmitool ];
   boot.kernelModules = [ "ipmi_devintf" "ipmi_si" ];
-
-  kernelAtleast = lib.singleton
-    { version = "4.4";
-      msg =
-        "ethernet driver may be buggy on older kernels, "+
-        ''try 'networking.dhcpcd.extraConfig = "nolink";' if you encounter loss of link problems'';
-    };
+  environment.systemPackages = [ pkgs.ipmitool ];
 }