To recreate the problem:
$ wget
After some time you'll get:
CC drivers/misc/vc04_services/interface/vchiq_arm/vchiq_shim.o CC fs/proc/array.o drivers/misc/vc04_services/interface/vchiq_arm/vchiq_shim.c:42:20: fatal error: stddef.h: No such file or directory #include ^ compilation terminated. scripts/Makefile.build:258: recipe for target 'drivers/misc/vc04_services/interface/vchiq_arm/vchiq_shim.o' failed
If I'm forced to build the system quickly (as my students are, due to short lab sessions), the only way is to switch off the EABIhf (by selection of the EABI in the "Target options", Target ABI) and use the "Toolchain (Sourcery CodeBench ARM 2014.05)"
Of course the optimal solution is to use the "Buildroot toolchain" with standard EABIhf, but it takes very long to rebuild after "make clean"...
Regards, Wojtek