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