trivial: Run astyle on changed files

libethdrivers,zynq: Fix more issues in driver

This commit includes a number of fixes to the Ethernet driver:
- Set the TX descriptor once and only once. The descriptor only needs to
be set once and the DMA controller is able to keep track of where it is
in the ring.
- Set the 'wrap' bit in the beginning for the descriptors.
- Check 'used' bit in the first descriptor in complete_(tx/rx). Only
the first descriptor has the bit set when the Ethernet device is done
with the descriptor chain.
- Fix typo in descriptor size assignment.

Added Set/Clear Promiscuous mode functionality

Change-Id: I3cd5fc49ed8a5215fc6f1068a8a0fa0288a1ab1f

Modified zynq Ethernet source code to function with seL4/CAmkES

Change-Id: I817c1af1b51d58a017532a0f75e86905a5947000