We got zabbix alert about one aarch64 koji builder (aarch64-01.stream.rdu2.redhat.com) that is unreachable.

That server isn't even reachable over ipmi, so we'll ask internal team to investigate and try a hardware reset