diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index d35bea4dd469..c3ad042dd9d5 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -305,13 +305,6 @@ rec {
       autoModules = true;
       preferBuiltin = true;
       target = "zImage";
-      extraConfig = ''
-        # >=5.12 fails with:
-        # drivers/net/ethernet/micrel/ks8851_common.o: in function `ks8851_probe_common':
-        # ks8851_common.c:(.text+0x179c): undefined reference to `__this_module'
-        # See: https://lore.kernel.org/netdev/20210116164828.40545-1-marex@denx.de/T/
-        KS8851_MLL y
-      '';
     };
     gcc = {
       # Some table about fpu flags: