This update for ucode-intel fixes the following issues:
{ "binaries": [ { "ucode-intel": "20191112a-3.13.2" } ] }