Я смог обойти эту проблему. Когда установщик сообщил "Нет устройства сетевого интерфейса", я переключился на оболочку tty3 (Ctrl-Alt-F3) и удалил модуль tg3 из работающего ядра с помощью Bash: rmmod tg3. Затем я загрузил модуль broadcom, после чего снова загрузил модуль tg3: Bash: modprobe broadcom modprobe tg3. Загрузка модуля tg3, возможно, была лишней, но я так сделал, основываясь на втором ответе в этой теме: https://bbs.archlinux.org/viewtopic.php?pid=865373. Я нашел PID работающего установщика: Bash: ps -ef | grep inst и убил его (kill -9 <pid>). Наконец, я перезапустил установщик: Bash: startx. Как только установка завершилась и машина перезагрузилась, сеть заработала, как и ожидалось, так что это была просто проблема с конкретным ядром, используемым в установщике.