ARM64: zynqmp: Record board name as serial number for DFU/FASTBOOT