Well, the DFly kernel has some very easy-to-use file access functions
ala fp_open() and friends (see kern_checkpoint.c for a use case), so
accessing the firmware file directly is easy enough.
I would recommend placing it in /boot somewhere though, since it is
kernel related and /boot can be made more secure via a read-only mount
than /etc. Maybe /boot/firmware/
-Matt
