Oui on est bien d'accord mais donc
mini2440_defconfig
est connu dans le vanilla?!

(dans le Makefile de ma version patchée je vois bien une règle pour les *_defconfig...)