Trading options on the spy

We are adding USB device support to Mbed OS, which allows you to enable the functionality of USB devices. SPM comes with a set of IPC APIs used to exchange data between secure partitions.

The PSA IPC API Null implementation lays the groundwork for future hardware-based Secure Partition isolation. Although the code is still experimental, you can try it early on at feature branch at.