Firmware version information can be printed out using the sysinfo command:
Execute sysinfo
Firmware info:
bitfile version: 0xdc000004
ARM module version: 0x12
Dpm10GAxi: Vivado v2015.3 (x86_64) Built Fri Jan 8 16:46:28 PST 2016 by rherbst
refclk0 freq sel: 0x2
refclk1 freq sel: 0x2
Firmware information for the user fpga.bit is printed to the serial console at boot time.
Connect to the RCE serial console
Reboot and wait for firmware load printout
...