Comment 7 for bug 1766052

Not sure if this raspbery pi is armhf or arm64.

Comparing armhf & arm64 blacklists, neither are changed between release pocket and -proposed.

armhf does not have bcm2835_wdt listed, and arm64 does.

These are for the generic kernel.

$ grep bcm2835 *.conf
blacklist_linux_4.15.0-20-generic.conf:blacklist bcm2835_wdt
blacklist_linux_4.15.0-23-generic.conf:blacklist bcm2835_wdt

$ diff -u blacklist_linux_4.15.0-20-generic.conf blacklist_linux_4.15.0-23-generic.conf
--- blacklist_linux_4.15.0-20-generic.conf 2018-04-24 05:56:17.000000000 +0100
+++ blacklist_linux_4.15.0-23-generic.conf 2018-05-23 17:54:55.000000000 +0100
@@ -1,4 +1,4 @@
-# Kernel supplied blacklist for linux 4.15.0-20-generic arm64
+# Kernel supplied blacklist for linux 4.15.0-23-generic arm64
 # modprobe.d/common.conf
 # LP:1434842 -- disable OSS drivers by default to allow pulseaudio to emulate
 blacklist snd-mixer-oss

This is fine to ship, but it seems like the bug is not fixed yet?! Or which kernel flavour I should be checking, if not generic?!