PLATFORMS.md: Add x86_64 to OpenBSD, 10.9 to OS X.