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