Thanks for that confirmation.
Another quick question: when using the smart designer & I check the "SPI" & "UART" boxes, am I asking the designer to provide code to give access to those on chip resources or, am I asking the designer to generate code that permits BTLE services that gives access to those resources?
The latter is correct. Smart Designer essentially sets up the GPIO needed within the application to leverage the SPI and UART onboard the BCM2073XS. It does provide the driver code needed to access those resources externally from your MCU.
Have you been through the 30 minute video that j.t put together here: WICED Smart Video BLOG: SDK 2.1 Smart Designer Tool Walk-Thru
Pay particular attention to the "To-Do" items that he mentions because while Smart Designer does automate some of the building of the code for you in the area of GATT DB creation and GPIO setup, there are still several things ("To-Do") that you will need to code yourself.