Update platform file

cmr=v1.7.4:reviewer=ompi-gk1.7