Cleanup the final remnants of platform.h

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