Kernel sources for mini6410

Hello, 
Where can I get the kernel source for mini6410? On the Download section
there is a source for mini2440
http://www.friendlyarm.net/dl.php?file=linux-2.6.32.2-mini2440_20110413.tgz
but none for 6410.

Does Pengutronix BSP include a kernel, or is it intended only for file
system build?

Go to the follow address, it give the DVD download address:
http://armbest.com/Mini6410_Update%20News.html