diff --git a/Makefile.include b/Makefile.include
index e02bf2ac5c..19719a2073 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -14,7 +14,7 @@ endif
 # if you want to publish the board into the sources as an uppercase #define
 BB = $(shell echo $(BOARD)|tr 'a-z' 'A-Z')
 CPUDEF = $(shell echo $(CPU)|tr 'a-z' 'A-Z')
-CFLAGS += -DBOARD=$(BB) -DCPU_$(CPUDEF)
+CFLAGS += -DBOARD=$(BB) -DCPU_$(CPUDEF) -fno-delete-null-pointer-checks
 export CFLAGS
 
 export BINDIR =$(CURDIR)/bin/$(BOARD)/