[Pkg-raspi-maintainers] Problems with raspberrypi3 after update auf 4.14

[Michael Schaffner]

Hi,

I installed Debian on my Raspberrypi3 like its explained on
https://wiki.debian.org/RaspberryPi3.

I used the Debian-Image for raspberrypi3 from
https://people.debian.org/~stapelberg/raspberrypi3/2017-10-08/2017-10-08-raspberry-pi-3-buster-PREVIEW.img.bz2
and even got wifi working after using the Kernel-Package and the
brcmfmac43430-sdio.txt-File. Since some weeks i updated
the system a few times. Recently the kernel in buster got updated from
4.13 to 4.14 and the system stopped working.
Is this supposed to work with official debian kernel? I understood the
wiki so that the problems are solved, except the missing
brcmfmac43430-sdio.txt.

I extracted the kernel, the initrd and bcm2837-rpi-3-b.dtb from the
original image and copied them manually to the fat-partition of the
sdcard, updated the config.txt accordingly and everthing works again.
In further tests i even used kernel and initrd from 4.14 and just kept
the old bcm2837-rpi-3-b.dtb -> Works, too.

I diffed the dtbs with fdtdump and found quite a few differences like:
19a20,24
>     aliases {
>         serial0 = "/soc/serial at 7e201000";
>         serial1 = "/soc/serial at 7e215040";
>         ethernet0 = "/soc/usb at 7e980000/usb1 at 1/usbether at 1";
>     };
21c26
<         bootargs = "earlyprintk console=ttyAMA0";
---
>         stdout-path = "serial1:115200n8";
600a617
>         enable-method = "brcm,bcm2836-smp";
642,644d658
<     };
<     aliases {
<         ethernet0 = "/soc/usb at 7e980000/usb1 at 1/usbether at 1";
(lots of other small differences, too.)

Am i doing something wrong or is the debian-arm64-kernel-package for
4.14 not suited for the raspberrypi3?

Thanks for listening so far and bye..
Michael