This update for ucode-intel fixes the following issues:
{ "binaries": [ { "ucode-intel": "20230512-13.107.1" } ] }