What CEO Brian Krzanich's departure means for Intel