configs/misco:  CONFIG_DEFAULT_SMALL should not be set either. It is really too late now, hoever, because all of the small defaults have already been set.

configs/nucleo_f303re: Various fixes to get the adc configuration building again after PR.  Refresh all configurations.

sem_setprotocol: Handle a case of missing proxy for sem_setprotocol.  Reorder so that (1) this error is avoided, and (2) >No proxy is needed if priority inheritance is not enabled.

arch: Disable priority inheritance on all semaphores used for signaling in the rest of the MCU drivers