mini6410 gpio

I'm interested in mini6410 but I need to know if the linux kernel provided
with the board is already configured with GPIO and ADC enabled.
Why the current support for this board in terms of kernels compilers
distribution etc is not the same as for mini2440? I mean I expect to have a
download page similar to the mini2440 one but dedicated for mini6410.

No sure about kenrel which comes with board but in mainline kernel there is
support fot gpio and also adc (check kernel
sources):arch/arm/mach-s3c64xx/mach-mini6410.c