initarm()

setttb() から戻ってこないと思ったら pc が 0xc0xxxxxx (=KERNEL_BASE) じゃなくて 0xa0xxxxxx (=PXA2X0_SDRAM0_START) になってた。ヲレが悪かったよー。