Hi Ben,
I am glad the firmware was added to linux-firmware. In fact, I had submitted the same file in https://lore.kernel.org/linux-firmware/20230320164448.3489-1-b...@debian.org/ but that was ignored. I am going to file a RM Bug for my pkg soon.
Cheers,
Bastian
