buildroot

mini2440_defconfig: use mainline kernel

mini2440 has been supported in the mainline kernel since early 2009,
so use that instead of a custom tarball.

Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>