It would appear that the instructions for supporting the ESP32-PICO line of boards is out of date. Specifically the page: https://mongoose-os.com/aws-pico/ has issues with the instructions being not correct.
For instance, in the configuration section, there is no AWS-PICO fw option.
Tutorials 3,4,5 do not work anymore is another issue.
So how does one get the ESP32-PICO-KIT working fully with AWS IOT?