SHA512 or SHA256 checksums, instead of SHA1, for .iso files

[freggel.doe]

Replace SHA-1 with BLAKE3 for ISO images

Age is irrelevant, it’s fast enough and it is not used as a cryptographic hash function (that is what those gpg signature files are for).