Revert "Merge pull request #8788 from kaidokert/master"
Revert "Merge pull request #8788 from kaidokert/master"

This reverts commit d478d6bf80d369cf67f01a26271bdcdeb7fcd480, reversing
changes made to f9d07f373f087b0162cbfe1e92049a68898abd2b.

kjbracey-arm/mbed,andcor02/mbed-os,andcor02/mbed-os,andcor02/mbed-os,mbedmicro/mbed,andcor02/mbed-os,andcor02/mbed-os,mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed,kjbracey-arm/mbed,mbedmicro/mbed,kjbracey-arm/mbed,andcor02/mbed-os,kjbracey-arm/mbed