Thank you larsc. I followed your instructions by building the kernel and the devicetree, and the design is up and running!
I have an additional question. I noticed that in the original design and the rebuilt design, I received a "failed" for the alternating checkerboard test when running the Network Scope. Should I be concerned? A quick research online showed that the other users have seen this too: ZedBoard_Alternating Checkerboard test failed | Zedboard.
Thanks!