OTA_EXTRAS: Add FILE define in BoardConfig.mk
            Assuming we have https://gerrit.omnirom.org/#/c/5884/
            or, we shift to using custom releasetools,
            we'd still need this defined somewhere

Change-Id: I9840465f5a5b769752cd363138d1458fea73630b