Update platformspecific.rst