ovs-pki: Use SHA-512 instead of MD5 as message digest.