COLDCARD documents a seed RNG bug in older firmware, with the usual fix: upgrade, then throw away the seed and make a new one.