PLATFORMS.md: Add MIPS64 to OpenBSD