[FS#1204] zedboard kernel not boot

[LEDE Bugs]

The following task has a new comment added:

FS#1204 - zedboard kernel not boot
User who did this - Javier Domingo Cansino (txomon)

----------
I have been testing this in the board for the last months and no change so far.

undefined instruction
pc : []          lr : []
reloc pc : []    lr : []
sp : 1eb26a58  ip : 000000ff     fp : 00000000
r10: 00000001  r9 : 1eb29ef0     r8 : 1ff4a8f8
r7 : 00000000  r6 : 00008000     r5 : 1ffa6b8c  r4 : 00000000
r3 : 00001e7b  r2 : 1e9ae000     r1 : 00000000  r0 : 1eb29fb0
Flags: nZCv  IRQs off  FIQs off  Mode SVC_32
Resetting CPU ...

This is using the latest development release
----------

More information can be found at the following URL:
https://bugs.openwrt.org/index.php?do=details&task_id=1204#comment4485