Yes, but they might have focused more on Windows, which is not so easy to fix. Esp in microcode. The NT kernel fixes were already out for months, there the table layout is not as simple as in Linux, whilst Linux is still discussing it. For Linux microcode you just need to look at the first bit for a permission check. Not so with Windows.