Current: /usr/lib/firmware/hfi1_dc8051.fw

New name: