Update comments in platform.hh