add date/time info to xilinx logs