We lost track of the story but apparently this issue was already fixed in April. Intel said they rolled out the microcode update in April and recommends to check the site of your motherboard maker for a BIOS update.
Intel responded to our questions with the following:
“We have already identified this issue and addressed it with a fix that started rolling out in April 2017. As always, we recommend checking to make sure your BIOS is up to date, but the chance of encountering this issue is low, as it requires a complex number of concurrent micro-architectural conditions to reproduce.”