Any ideas about how it (Jenkins HA) could be done?
CloudBees provides a commercial Jenkins HA solution.