debian: fw 1.8.0, fpga 0.1.2