Scons: hosted.py: generate platform.hpp file