There are still few remaining bits in the platform.h header that we need to remove and finally get rid of the header.
platform.h
