No TUN module (ARM C1 server)

[stayen]

I was advised to use mainline bootscripts, to make use of TUN. However, 4.4.127 failed to boot with Ubuntu 14.04, and 4.9.93 seems to lack TUN support:

# ls /lib/modules/4.9.93-mainline-rev1/kernel/drivers/net | grep tun
# modprobe tun
# lsmod
    Module                  Size  Used by
#

Is TUN module actually supported for C1 kernels?