Is the ZUBoard supposed to run so hot? The left half (looking into face with Zynq and ethernet pointing down) of the board is really hot to touch (I'm using the recommended 45W adapter). Never handled a board where even the PCB gets this hot. U13, U18, U25 and U26 are the heat sources. Is this normal? SysMon for both FPGA and ARM report around 50C. Thanks!