diff --git a/cpu/cc2538/include/cc2538_eui_primary.h b/cpu/cc2538/include/cc2538_eui_primary.h
index 9d1050b3b0..14c0bd68b9 100644
--- a/cpu/cc2538/include/cc2538_eui_primary.h
+++ b/cpu/cc2538/include/cc2538_eui_primary.h
@@ -31,15 +31,13 @@ extern "C" {
 /**
  * @brief   Get the primary (burned-in) EUI-64 of the device
  *
- * @param arg       unused
- * @param[out] addr The EUI-64
  * @param index     unused
+ * @param[out] addr The EUI-64
  *
  * @return  0
  */
-static inline int cc2538_get_eui64_primary(const void *arg, eui64_t *addr, uint8_t index)
+static inline int cc2538_get_eui64_primary(uint8_t index, eui64_t *addr)
 {
-    (void)arg;
     (void)index;
 
     /*
diff --git a/sys/net/link_layer/eui_provider/include/eui64_provider_params.h b/sys/net/link_layer/eui_provider/include/eui64_provider_params.h
index 32b159c7f8..7489b66bc4 100644
--- a/sys/net/link_layer/eui_provider/include/eui64_provider_params.h
+++ b/sys/net/link_layer/eui_provider/include/eui64_provider_params.h
@@ -20,6 +20,7 @@
 #if __has_include("eui_provider_params.h")
 #include "eui_provider_params.h"
 #endif
+#include "board.h"
 #include "net/eui_provider.h"
 
 #ifdef __cplusplus