Update platform files

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