nafanja, спасибо за разъяснения. Итак, lsmod выдает список, в котором нет ничего похожего на rtl, sudo modprobe rtlwifi, и rtl8723 не возымели никакого эффекта, lsmod выдает все то же самое.