Common clock for redundant processors