Correct Gcc builtin module naming
Correct Gcc builtin module naming

c1728p9/mbed-os,mazimkhan/mbed-os,betzw/mbed-os,mbedmicro/mbed,karsev/mbed-os,karsev/mbed-os,mbedmicro/mbed,mbedmicro/mbed,karsev/mbed-os,karsev/mbed-os,karsev/mbed-os,mazimkhan/mbed-os,andcor02/mbed-os,mazimkhan/mbed-os,kjbracey-arm/mbed,kjbracey-arm/mbed,c1728p9/mbed-os,mazimkhan/mbed-os,c1728p9/mbed-os,kjbracey-arm/mbed,kjbracey-arm/mbed,betzw/mbed-os,betzw/mbed-os,andcor02/mbed-os,karsev/mbed-os,c1728p9/mbed-os,andcor02/mbed-os,c1728p9/mbed-os,mazimkhan/mbed-os,betzw/mbed-os,betzw/mbed-os,mbedmicro/mbed,betzw/mbed-os,andcor02/mbed-os,c1728p9/mbed-os,andcor02/mbed-os,andcor02/mbed-os,mazimkhan/mbed-os,mbedmicro/mbed