Das Ergebniss:
pi@raspberrypi:~ $ uname -a
Linux raspberrypi 4.9.59+ #1047 Sun Oct 29 11:47:10 GMT 2017 armv6l GNU/Linux
pi@raspberrypi:~ $ ls -la /lib/modules/
total 16
drwxr-xr-x 4 root root 4096 Nov 1 15:39 .
drwxr-xr-x 16 root root 4096 Nov 1 16:15 ..
drwxr-xr-x 3 root root 4096 Nov 1 15:39 4.9.59+
drwxr-xr-x 3 root root 4096 Nov 30 19:04 4.9.59-v7+
pi@raspberrypi:~ $ ls -la /lib/modules/*/kernel/drivers/pivccu/*
-rw-r--r-- 1 root root 10732 Nov 19 12:53 /lib/modules/4.9.59-v7+/kernel/drivers/pivccu/dw_apb_raw_uart.ko
-rw-r--r-- 1 root root 16680 Nov 19 12:53 /lib/modules/4.9.59-v7+/kernel/drivers/pivccu/eq3_char_loop.ko
-rw-r--r-- 1 root root 17796 Nov 19 12:53 /lib/modules/4.9.59-v7+/kernel/drivers/pivccu/generic_raw_uart.ko
-rw-r--r-- 1 root root 9912 Nov 19 12:53 /lib/modules/4.9.59-v7+/kernel/drivers/pivccu/pl011_raw_uart.ko
-rw-r--r-- 1 root root 5332 Nov 19 12:53 /lib/modules/4.9.59-v7+/kernel/drivers/pivccu/plat_eq3ccu2.ko
pi@raspberrypi:~ $ lsmod
Module Size Used by
iptable_filter 2220 0
bridge 112535 0
stp 2218 1 bridge
llc 5790 2 bridge,stp
fuse 94600 3
snd_bcm2835 23131 0
snd_pcm 97825 1 snd_bcm2835
snd_timer 22706 1 snd_pcm
snd 68784 3 snd_timer,snd_bcm2835,snd_pcm
bcm2835_gpiomem 3791 0
uio_pdrv_genirq 3718 0
uio 10166 1 uio_pdrv_genirq
fixed 3029 0
ip_tables 12512 1 iptable_filter
x_tables 20921 2 ip_tables,iptable_filter
ipv6 384613 13 bridge
pi@raspberrypi:~ $ ls -la /boot/overlays/pivccu*
-rwxr-xr-x 1 root root 296 Nov 30 19:04 /boot/overlays/pivccu-bcm2835.dtbo
pi@raspberrypi:~ $ cat /proc/device-tree/compatible
brcm,bcm2835pi@raspberrypi:~ $ ls -la /proc/device-tree/soc/serial*/compatible
-r--r--r-- 1 root root 13 Nov 30 21:28 /proc/device-tree/soc/serial@7e201000/compatible
-r--r--r-- 1 root root 22 Nov 30 21:28 /proc/device-tree/soc/serial@7e215040/compatible
pi@raspberrypi:~ $ cat /proc/device-tree/soc/serial*/compatible
pivccu,pl011brcm,bcm2835-aux-uartpi@raspberrypi:~ $