Thanks a lot, Fathi and Victor. I was able to build and boot the 3.12.0-rc5 kernel on the Pandaboard. I went with building a uImage, but I'll try a zImage next. It looks like I'll have to update the boot.scr (and u-boot, based on Victor's reply), since the 13.09 boot.scr calls bootm.