Error: Cannot open file drivers/net/ethernet/sfc/efx_reflash.c
Error: Cannot open file drivers/net/ethernet/sfc/efx_reflash.h
Error: Cannot open file drivers/net/ethernet/sfc/fw_formats.h