Cleanup platform.h for stuff not exposed to the headers
The platform.h header contains some defines that are actually not exposed to the outside, but used only internally. Those should be moved into config.h.
The platform.h header contains some defines that are actually not exposed to the outside, but used only internally. Those should be moved into config.h.