SIPLUS redundant CPUs