Vielen Dank für Eure Meinungen. Mittelfristig wäre ein Wechsel auf Linux Mint super, wie es aber immer so ist, uns fehlt die Zeit. Vielleicht findet sich jemand berufen, uns hierbei zu unterstützen. Einfach mal https://codeberg.org/angestoepselt/LinuxPXE forken und den PXE auf den neuesten Stand mit Linux Mint 20 bringen.