* ron minnich <rminnich at gmail.com> [131107 16:09]: > Very interesting note. We've never seen this before. Comments? We did see this before.. We actually had a wbinvd there for a while, at least in the ChromeOS tree. And removed it because it broke some hardware. Stefan