Я решил просто рискнуть, получил 840 и загрузился в Ubuntu MATE с живого USB-накопителя, и адаптер был распознан. Затем я просто переместил жесткий диск со своего старого 6930p в 840, и Wi-Fi работает - все, что мне нужно было сделать, это повторно ввести пароль Wi-Fi. (Я также попробовал 12.04 живой USB, который не распознавал адаптер Wi-Fi.)
Не уверен, что есть какие-либо двоичные двоичные объекты, но суть в том, что Ubuntu 16.04 поддерживает адаптер из коробки (хотя более старые версии могут этого не делать), поэтому замена адаптера оказалась ненужной.