Merged in david_s5/nuttx-7/david_s5/minor-typos-1486681097354 (pull request #208)

Minor typos

Approved-by: Gregory Nutt

libc/Kconfig

@@ -15,7 +15,7 @@ config STDIO_DISABLE_BUFFERING
 		NOTE that even if STDIO buffering is enabled, you can still disable
 		buffering by setting CONFIG_STDIO_BUFFER_SIZE=0 or dynamically
 		through the setvbuf() interface.  In this case, however,  memory
-		used forbuffering will be eliminated, of course, buth there will be
+		used for buffering will be eliminated, of course, but there will be
 		no reduction in static code size.  Only setting
 		CONFIG_STDIO_DISABLE_BUFFERING will reduce static code size.