Hello Trying to reboot on my Banana Pi using this kernel doesn't work -the OS shuts down but the Banana Pi never reboots. I had a look at the Fedora Kernel (Linux 4.x) which has the same problem. http://ftp.de.debian.org/debian/pool/main/l/linux/kernel-image-3.19.0-trunk-armmp-di_3.19.1-1~exp1_armhf.udeb Has anybody else found this? The Linux 3.4 Kernel in Bananian does reboot. Thanks