I made my own kernel with the configuration of Kernel-4.1.2, this works also. I found out that the dvbsky-driver should be compiled as module, not like in Igor's configuration für Kernel-4.2.2. When I boot up with a connected dvbsky the kernel crashes totally. But with the older configuration I still have the problem with the clocksource (" clocksource: hstimer: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 21718868714 ns" for example) My bananapi works now with self-compiled kernel-4.2.3