Is there any effort being made to, instead of converting the firmware files for the different iterations of these boards into .h files, simply do what other drivers do and load the binary firmware images from files in /lib/firmware? Lots of other drivers do it (via request_firmware()), which it seems would simplify the construction of the driver module quite a bit.