No, because there is no benefit in using the 512 bit version of SHA2 under any circumstance.
For starters they are using the same exact algorithm defined by second version of SHA so they are providing the same security and possible flaws as far as the algorithm is concerned.
As for the speed, SHA512 is faster to compute compared to SHA256 in modern hardware so there is no benefits there either.
Finally there is no point in using SHA512 anywhere else either (such as in ECDSA) because in those places we are dealing with 256-bit values (eg. the 256-bit curve) and using a bigger hash digest is pointless since it has to be truncated anyways.