trivial update to man page related to --kernel-target=
-rw-r--r-- 119 .gitattributes
-rw-r--r-- 14 .gitignore
-rw-r--r-- 1138 AUTHORS
-rw-r--r-- 310 BUGS
-rw-r--r-- 169782 ChangeLog
-rw-r--r-- 701 HACKING
-rw-r--r-- 1013 Makefile
-rw-r--r-- 1314 README
-rw-r--r-- 1504 TODO
drwxr-xr-x - arch
drwxr-xr-x - defaults
drwxr-xr-x - doc
-rwxr-xr-x 1594 gen_arch.sh
-rwxr-xr-x 5331 gen_bootloader.sh
-rwxr-xr-x 18314 gen_cmdline.sh
-rwxr-xr-x 23778 gen_compile.sh
-rwxr-xr-x 4278 gen_configkernel.sh
-rwxr-xr-x 9919 gen_determineargs.sh
-rwxr-xr-x 12527 gen_funcs.sh
-rwxr-xr-x 21366 gen_initramfs.sh
-rwxr-xr-x 1275 gen_moddeps.sh
-rwxr-xr-x 6517 gen_package.sh
-rwxr-xr-x 10394 genkernel
-rw-r--r-- 9052 genkernel.conf
drwxr-xr-x - maintenance
drwxr-xr-x - modules
drwxr-xr-x - netboot
drwxr-xr-x - patches