The SG bulletin also includes the CPU microcode, so I suspect we'll see the same issues. I'm seeing microcode version 0x20000069 if I boot Ubuntu 20.04 livecd, but I'm not sure how to check if that is loaded by the BIOS or the kernel. Will try an older Ubuntu (maybe 16.04?) and check to see what the microcode shows as there.