I've compiled a Debian 4.19 kernel with your sugested patch to enable audio and reverting another one to fix the WiFi problem and I now have both audio and WiFi working.
I'll send proper patches as soon as I have time, but it works. Regards. -- Santiago García Mantiñán
