The firmware is part of the unfree redistributable set already in nixpkgs, so unlike some other devices in-tree (asus-z00t) we can directly add the firmware to the build without any issue.
