Yeah, I know, but I responded because your question as-phrased is still a useful one. Intel is talking about doing BIOS updates, but that doesn't necessarily mean that there can't be a fix to microcode on the CPU applied at the Linux kernel level.
I'm just saying that if they haven't figured out the patch going into the BIOS yet, there isn't going to be one for the BIOS or the Linux kernel yet.