[pungi-fedora] PR #758: Readd arm-tools group to server variant