Kernel 4.4 also has been patched for these Intel bugs, so you can use it instead of 4.13 if you don't need the latest hardware support.
Kernel 4.4 also has been patched for these Intel bugs, so you can use it instead of 4.13 if you don't need the latest hardware support.