Скачать файл можно командой wget
Распаковать .zip-архив - командой unzip
Уточнить опции и параметры - командой man wget, man unzip

При оформлении заказа мне сказали, что материнку надо будет прошить. Я не предал этому большого значения, так как ожидал, что биос уже на матери есть и его надо будет лишь обновить.

Биос на матери, конечно, уже есть. Но чтобы его обновить, мать надо завести. А она, судя по словам продавца, со старым биосом, и на новом проце не заведется. То есть алгоритм такой - взять у друга старый проц, который гарантированно заведется (смотрим версии на https://www.asrock.com/mb/AMD/Fatal1ty%20AB350%20G... , обращаем внимание на "Note1: AMD Ryzen 1xxx series CPUs are able to boot up with all BIOS versions."), завести мать, прошить новый биос (смотрим там же, вам нужен 4.70 или выше, качаем отсюда https://www.asrock.com/mb/AMD/Fatal1ty%20AB350%20G... ), поставить обратно ваш проц.

Видимо, ваш long int - всего 32-битный. Понятно, что для 13! = 6.2е9 происходит переполнение. Попробуйте unsigned long long int