cc2538_netdev: disable netdev if radio hal is present

cpu/cc2538/radio/cc2538_rf_netdev.c

@@ -31,6 +31,8 @@
 #define ENABLE_DEBUG        (0)
 #include "debug.h"
 
+#if !IS_USED(MODULE_IEEE802154_RADIO_HAL)
+
 /* Reference pointer for the IRQ handler */
 static netdev_t *_dev;
 
@@ -420,3 +422,6 @@ const netdev_driver_t cc2538_rf_driver = {
     .isr  = _isr,
     .init = _init,
 };
+#else
+int dont_be_pedantic;
+#endif /* MODULE_IEEE802154_RADIO_HAL */