From 8a36ece45dd152ba3e309de0a56f3f3d08f95608 Mon Sep 17 00:00:00 2001
From: Mateusz Guzik <mjg@FreeBSD.org>
Date: Wed, 14 Oct 2020 02:23:49 +0000
Subject: [PATCH] axgbe: fix tinderbox build

---
 sys/dev/axgbe/xgbe.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/sys/dev/axgbe/xgbe.h b/sys/dev/axgbe/xgbe.h
index fac642cc16f..a5a78cd68c3 100644
--- a/sys/dev/axgbe/xgbe.h
+++ b/sys/dev/axgbe/xgbe.h
@@ -117,9 +117,7 @@
 #define __XGBE_H__
 
 #include <sys/param.h>
-#if __FreeBSD_version < 1300000
 #include <sys/kernel.h>
-#endif
 #include <sys/bus.h>
 #include <sys/socket.h>
 #include <sys/bitstring.h>