Banana PI / PRO / R1 Debian SD image

After spending more than a year developing Debian for Cubieboard I decided to port this build to Banana PI / PRO. Since the board is based on the same SoC the process should be easy. This is theory but in reality: Ethernet is somehow different so we need kernel source...