His guide at least on werunbtc.com, can still find on archive.org, explicitly said to roll dice 100 times in the coldcard setup tutorial. So his guide would have fixed the entropy bug by providing your own. (Not sure if that is the same guide he had all the way back from 2021)