The company says Brian Krzanich is leaving because of “a violation of Intel’s non-fraternisation policy”.