Dual redundant power supplies