NuttX

Signed-off-by: Alan Carvalho de Assis <acassis@gmail.com>

Signed-off-by: Alan Carvalho de Assis <acassis@gmail.com>

Fix some configuration dependencies, warnings, back up some previous changes that weren't really necessary

Fix compile problems introduced when the syslog() prototype changed; Also update Makefile for kernel build

Misc changes to get a clean build after all of the syslog changes.  There are probably other things still broken