* ron minnich rminnich@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