Red Hat CTO unexpectedly quits, amid rumors of executive 'friction'