Split-up download and extract options into two separate files, because download options are begining to be numerous.

/trunk/config/global/extract.in | 193 1 192 0 ----------------------------------------------
/trunk/config/global/download.in | 52 1 51 0 ------------
/trunk/config/global.in | 3 2 1 0 +
3 files changed, 4 insertions(+), 244 deletions(-)

 # Kernel options

 menu "Kernel"

 choice

     bool

     prompt "Target OS"

     default KERNEL_LINUX

 config KERNEL_LINUX

     bool

     prompt "linux"

     help

       Build a toolchain targeting systems running Linux as a kernel.

 endchoice

 config KERNEL_VERSION

     string

 if KERNEL_LINUX

 source config/kernel/linux.in

 endif

 endmenu