If you foresee making firmware changes, it may be easier to go with OSPi because changing firmware is easier with a Linux-based system. In the end it depending on what you are more familiar with: Linux or embedded programming with ESP8266. The current firmware has no built-in support for AWS IoT, so either you will need to use the existing features to interface with AWS, or change firmware to do so.