...
cp arm-linux/tgt/linux/kernel/devicetree.dtb to <arch_linux_root>/boot
Download and copy fpga.bit from your RCE, or Copy your own firmware file , to <arch_linux_root>/boot/fpga.bit
Or download and copy the default firmware bitfile for your RCE to <arch_linux_root>/boot/fpga.bit
wget http://www.slac.stanford.edu/projects/CTK/SDK/fpga.dpm.bit
wget http://www.slac.stanford.edu/projects/CTK/SDK/fpga.dtm.bit
Remove the following service file links:
...