The definition of NULL is the only reason stdio.h is needed, and including
this standard header clashes with a CC3000 driver's definitions because
the latter wants to redefine built-in macros.  The patch here is the
simplest way to deal with this but the proper fix is really to modify the
CC3000 driver.