I don't get it. Why are they using such a complicated infrastructure for something that can just be a static file polled by devices? Let's get nifty and maybe have a small php intermediary for slow roll. Assuming 10M devices, 24h polling sounds reasonable that's 10M requests/day. A VPS should be able to handle that.
(I'm saying this as someone who managed OTA for 1M smartphones that way 10yrs ago)
Because Amazon bought the CTO some very nice lunches, with some very nice wine, and mentioned they're expanding their local office in the future and that gosh its just so hard to find people with the right experience.
Mean while, J. Coder hasn't done jack for the CTO but complain about how they never have enough time to do these simple AWS API integration tasks and certainly never bought them a glass of Vosne-Romanée.
(I'm saying this as someone who managed OTA for 1M smartphones that way 10yrs ago)