./configure:
- fix a few messages

-------- diffstat follows --------
/trunk/Makefile.in | 6 3 3 0 +++---
1 file changed, 3 insertions(+), 3 deletions(-)

 # Linux kernel options

 config KERNEL_linux

     help

       Build a toolchain targeting systems running Linux as a kernel.