Can we have the mini210S android 4 kernel source?

Reggie
Hi all, Just got my mini210S, I've downloaded both DVD images from the ftp
but neither of them contain the 3.0.8 kernel source code for android 4.0.3.
 Any chance you can put it up on the ftp site for us?

Regards,
Reggie.