Пробовал с дропбокса скачивать файлы для своей версии ядра, результат такой же как и у тебя — при попытке загрузить модуль ругается на формат файла.
Вот так выглядит скомпилированный мной модуль
pi@raspberrypi ~/TL-WN725N-V2-Driver-for-Linux $ file 8188eu.ko
8188eu.ko: ELF 32-bit LSB relocatable, ARM, EABI5 version 1 (SYSV), BuildID[sha1]=9af26ac15901038c105c1e7de7e898937187f1cc, not stripped
а вто так скачанный:
pi@raspberrypi ~/TL-WN725N-V2-Driver-for-Linux $ file ../8188eu/8188eu.ko
../8188eu/8188eu.ko: ELF 32-bit LSB relocatable, ARM, EABI5 version 1 (SYSV), BuildID[sha1]=23180437f351ee6c55aa7d512e95bed4d3b6bd98, not stripped
Я лично отличий не вижу (если линуксотды есть — пусть подскажут как еще сравнить).
При попытке загрузить скаченный модуль:
pi@raspberrypi ~/TL-WN725N-V2-Driver-for-Linux
$ sudo insmod ../8188eu/8188eu.ko
insmod: ERROR: could not insert module ../8188eu/8188eu.ko: Invalid module format
когда загружаю сомпилироованный модуль:
pi@raspberrypi ~/TL-WN725N-V2-Driver-for-Linux $ sudo insmod 8188eu.ko
pi@raspberrypi ~/TL-WN725N-V2-Driver-for-Linux $ lsmod
Module Size Used by
8188eu 590226 0
cfg80211 499234 0
rfkill 21397 2 cfg80211
8192cu 555405 0
snd_bcm2835 23163 0
snd_pcm 95441 1 snd_bcm2835
snd_timer 22396 1 snd_pcm
snd 68368 3 snd_bcm2835,snd_timer,snd_pcm
spi_bcm2835 8032 0
bcm2835_gpiomem 3823 0
bcm2835_wdt 4133 0
uio_pdrv_genirq 3718 0
uio 10230 1 uio_pdrv_genirq
ipv6 367575 26
pi@raspberrypi ~/TL-WN725N-V2-Driver-for-Linux $
Также по твоей ссылке автор предлагает скачать скрипт wget https://dl.dropboxusercontent.com/u/80256631/install-wifi.tar.gz
tar xzf install-wifi.tar.gz который сам должен скачать подходящую версию драйвера. У меня он ругнулся на отстутствие адаптера и ничего не скачал, может у тебя получится.
