kszaq, I found that russian modded OE virtmod-os 2.0 rc3 (kernel 3.10.99) has almost working internal DVB driver. It initializes amlogic-dvb device, creates /dev/dvb/adapter0 but without frontend0 file. In dmesg there are lots of DVB titled messages, finishing with: "DVB: Error attach AVL6211+AV2011". But in another version of Vitmod (ver 1?, kernel 3.10.75) I got this:
OpenELEC (VITMOD) Version: 5.0.8
OpenELEC:~ # dmesg | grep dvb
[ 6.536333@3] DVB: aml dvb init
[ 6.536481@3] DVB: probe amlogic dvb driver
[ 6.536632@3] DVB: registering new adapter (amlogic-dvb)
[ 6.548935@3] amlogic-dvb dvb.11: DVB: registering adapter 0 frontend 1426049722 (Availink AVL6211 DVB-S2)...
OpenELEC:~ # ls /dev/dvb/adapter0/
demux0 dvr0 frontend0 net0
Maybe I could somehow move the driver or whole kernel from Vitmod to your version of LE to get DVB tuner working?