fpga: Check device name against bitstream name