Вероятно, он поставил Ubuntu или, что ещё хуже, Fedora вместо Arch Linux