Seconding Sebastian's observations.
I'll also note that I see a different error every now and again (maybe in ~15% or so of my boots): "Internal error: Oops - bad mode: 0 [#1] PREEMPT SMP". I'm assuming it's similar to the "synchronous external abort" error, since it's triggered at almost the exactly same instruction address (2 bytes off), and it only happens if etm4_probe/amba_probe/... are in the call trace the kernel dumps. On the off chance that it's helpful, though... :)
I'll play around with config changes a bit more.