On Wed, Nov 27, 2013 at 08:58:37AM -0800, Ashutosh Dixit wrote:> These patches fix various issues which were reported or found with the> MIC driver.All now applied, thanks.greg k-h