A design flaw in Intel chips might force major OS kernel changes