[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 - Luis Araneda Mendez (luaraneda)

----------
I had the same problem and I did some modifications to fix it.

You can find my changes on the pull request [[https://github.com/openwrt/openwrt/pull/942|#942]]

Can you please test my changes on your board to validate my results?

Cheers,

Luis Araneda.
----------

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