Not fully happy about the way this one interacts with the various platforms. Maybe the platform_config.h should be generated by the SCsub instead of passing a define just to know where is the header. (cherry picked from commit 36738ddda4)
36738ddda4