intel drivers: repair missing flush operations