Index: Makefile
===================================================================
--- Makefile	(revision 1940)
+++ Makefile	(revision 1941)
@@ -9,7 +9,7 @@
 
 include $(TOP)/Makefile.inc
 
-INCS += -I$(TOP) -I$(ATH_HAL) -I$(HAL)
+INCS += -I$(TOP) -I$(HAL)
 
 EXTRA_CFLAGS+= $(INCS) $(COPTS)