DTS: ZedBoard: enable mounting devtmpfs to /dev

devtmpfs contains all the device nodes for all devices known to the kernel.
It needs to be mounted to access SD card partition via corresponding device nodes under /dev.
ZedBoard: Add restart functions to support reboot