Builder devices against firmware

Every device OpenIPC/builder makes firmware for, against the OpenIPC/firmware it is built on: which firmware files a device replaces with its own copy, which of those firmware has changed since, and which defconfig symbols firmware no longer uses. Checked once a day.