Since the kernel is stored in flash I figured that there must be maximum size for it. Does anyone know what it is?

I'm having a bizarre problem - downloading a new kernel doesn't seem to work, even though I'm using the same method that was working yesterday. The kernel on the player remains one that I compiled at 11.07pm, even though the ctime on the zimage file is today, and the image appears to download correctly according to logoedit.

I'm wondering whether my (small) modifications to the kernel to support Bass and Treble adjustments have pushed the kernel size too big? It's currently 512460 bytes.

I've "make clean"ed and rebuildt the kernel to ensure that my latest code is in the zimage file, and the build appears to go fine with my latest modifications proprogating correclty to arch/arm/special/special.a (strings special.a |grep shows this). Linking appears to succeed, but the kernel on the player still appears to be old!

Anyone got any ideas what's going on? I'm hitting my head against a wall here!

Thanks.