Я работаю над дистрибутивом на основе Xubuntu с исправленным ядром, интегрирующим драйверы карт Realtek 8723BS WiFi, и, кроме всего прочего, 32 и 64 бита EFI. XJUbunTAB
Надеюсь, вы найдете это полезным