platform: fix internal platform headers#13459

Merged

adbridge merged 3 commits intoARMmbed:masterfrom

0xc0170:fix_platform_component

Aug 25, 2020

Commits on Aug 18, 2020

platform: remove platform/ prefix for source
0xc0170
committed

Commits on Aug 20, 2020

platform: move internal headers to internal/
0xc0170
committed

Commits on Aug 21, 2020

Update platform/source/mbed_os_timer.cpp

0xc0170
and
LDong-Arm
authored