[opensuse-kernel] How to build and install a 64 debian kernel for PI-3?