Я хорошо пролетел с покупкой ноутбука (HP, если что), в котором оказался wifi модуль rtl8723de, для которого realtek пока что не выпустила драйвер.
Они вроде как обещают выпустить драйвер, но не очень понятно, когда.
Потому пока хотелось бы чем-то заменить. USB-карточка это скорее уж на крайний случай. Дело осложняется тем, что там не мини pcie, а, как я понимаю, m.2