As armbian incorporates some performance tweaks also with regards to IRQ balancing on Allwinner devices, I just wanted to note, that the irqbalance daemon now finally works on armhf in Debian Stretch.
I had tried irqbalanced on arm several times over the last two years, and neither the versions shipped in Wheezy or Jessie actually worked (i.e. balanced IRQs over multiple cores). I also tried to compile a more recent version last year but couldn't get it to work. So, now after upgrading one of my BananaPis to Debian Stretch, I gave irqbalanced another shot and am happy to see that interrupts are now nicely balanced, including e.g. ethernet and USB interrupts.