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