Dear Debian ARM porters, Are any of you running an armv7 board similar to the Cubieboard or Cubietruck by chance, who happen to see a kernel panic on poweroff using Debian testing/unstable with Linux kernel 4.2 up to 4.5? https://bugs.debian.org/818951 Regards, Peter