No arch specific invalidate_icache_all available!

[Steve Wills]

Hi,

Trying to boot r330240 on my Raspberry Pi B, I'm getting:

Booting [/boot/kernel/kernel]...
/boot/dtb/bcm2835-rpi-b-rev2.dtb size=0x3366
Loaded DTB from file 'bcm2835-rpi-b-rev2.dtb'.
Kernel entry at 0x1200100...
No arch specific invalidate_icache_all available!
Kernel args: (null)

Then it goes back to U-Boot. Any ideas on what's wrong here?

Thanks,
Steve