Proposed fix to protect the kernel from Spectre (& Meltdown).pic.twitter.com/qQZr4Iw2yw
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Jokes aside, it should suffice just to flush cache on enter-to/return-from kernel as long as HT is also disabled.