Created attachment 935784 [details]
Highbank boot on 3.16
Description of problem:
the 3.16 kernels fail to boot on highbank, boot log attached.
Loading the DTB from the kernel package did not help. Using firmware "U-Boot 2013.01-rc1 (Nov 26 2013 - 12:09:06)".
test build in progress to address the issue.
Test build successfully booted on highbank, no longer shows backtrace.
3.17 kernels now booting, thanks Kyle!
*** Bug 1153800 has been marked as a duplicate of this bug. ***