Manta kernel

Note: this is just to get the device going. Our maintainer may feel
free to push the kernel the prefer