Intesting. Here the dtb's are grabbed from `raspberrypifw` however, which just consists of binary blobs. Makes me question if that's the right approach, but for now, the firmware package has only one version in the repo, and it's quite unlikely anyone will override it with an older version, imo.