Update notes for submitted changes

* 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