I think that's fine, though maybe surprising. Regular PCs don't have redundant power at all and we still update their firmware all the time.