OTA Updates of AWS IoT Greengrass Core Software