corrected PLATFORM.md to PLATFORMS.md to match reality

41 jobs for !1408 with 845-configure-PLATFORMS in 18 minutes (queued for 4 seconds)
detached