These act as TFTP/DHCP/boot servers, but also host apt.wikimedia.org
[x] assign new IP addresses for replacement servers (private IPs, unlike before!)
[x] create Ganeti VMs
[x] install OS (buster) on new VMs
[x] create new puppet role for installserver minus APT repo (role::installserver::light)
[x] create new puppet role for APT repo minus DHCP/TFTP (role::apt_repo)
[x] apply both puppet roles and check/fix all errors (add buster support)
[x] rsync data APT repo data (done from install1002 to apt1001 and apt2001, added to cron jobs)
[x] switch DNS CNAME for webproxy / switch squids to buster
[ ] switch DHCP_relay config on routers
[ ] switch TFTP server IPs in DHCP config
[ ] switch apt.wikimedia.org to the new backend apt1001 in DNS after making some tests
[ ] install1002.wikimedia.org replaced with install1003.eqiad.wmnet in all config files
[ ] install2002.wikimedia.org replaced with install2003.codfw.wmnet in all config files