...
Using an ssh, telnet, or serial console connection, you can print the RCE ID while logged in:
[root@shasta/2/0/0 ~]# 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
Zynq info:
Device DNA: 0x80990c0b49705400
eFUSE: 0x0
BSI info:
HW ID: 0x8e0000007ece7b70
RCE ID: shasta/2/0/0
U-Boot version: rce-v2016.1
RPT sw tag: 4790
MAC address: 0x8005600443f