amd microcode

I just saw https://undeadly.org/cgi?action=article;sid=20230723185853
and was wondering how I can check if it works? Does or should the
microcode update show up in dmesg or in some other log?

--
chs