platform.xml: Fix syntax error

Change-Id: I1c2a5b2cce8deaccf0c5e120cf923723a8f9acfd
Merge branch 'remote' into mkl