diff --git a/drivers/at86rf231/at86rf231.c b/drivers/at86rf231/at86rf231.c
index ad44dce209..491b5fbf8e 100644
--- a/drivers/at86rf231/at86rf231.c
+++ b/drivers/at86rf231/at86rf231.c
@@ -7,6 +7,9 @@
  * directory for more details.
  */
 
+#include "kernel_types.h"
+#include "transceiver.h"
+
 #include "at86rf231.h"
 #include "at86rf231_arch.h"
 #include "at86rf231_spi.h"
diff --git a/drivers/include/at86rf231.h b/drivers/include/at86rf231.h
index f06f79c1a8..ac89e0bfed 100644
--- a/drivers/include/at86rf231.h
+++ b/drivers/include/at86rf231.h
@@ -4,6 +4,8 @@
 #include <stdio.h>
 #include <stdint.h>
 
+#include "kernel_types.h"
+
 #include "board.h"
 #include "radio/types.h"
 
@@ -29,8 +31,6 @@ typedef struct __attribute__((packed))
 }
 at86rf231_packet_t;
 
-extern kernel_pid_t transceiver_pid;
-
 void at86rf231_init(kernel_pid_t tpid);
 //void at86rf231_reset(void);
 void at86rf231_rx(void);