At least the images that generally get generated are raspi2 ones (so armhf) but since the modification is done in a shared part of the build scripts this is done for all kernels based on the bionic (4.15) tree. Looking at the raspi2 build:
wget https://launchpad.net/~canonical-kernel-team/+archive/ubuntu/ppa/+build/14930811/+files/linux-modules-4.15.0-1012-raspi2_4.15.0-1012.13_armhf.deb dpkg -x linux-modules-4.15.0-1012-raspi2_4.15.0-1012.13_armhf.deb unpack grep bcm unpack/lib/modprobe.d/blacklist_linux-raspi2_4.15.0-1012-raspi2.conf -- You received this bug notification because you are a member of Kernel Packages, which is subscribed to linux in Ubuntu. https://bugs.launchpad.net/bugs/1766052 Title: Incorrect blacklist of bcm2835_wdt Status in linux package in Ubuntu: Triaged Status in linux source package in Artful: Triaged Status in linux source package in Bionic: Fix Committed Bug description: Without bcm2835_wdt loaded, Raspberry Pi systems cannot reboot or shut down. This needs to be removed from the automatic blacklist generated by the kernel build that ends up in /lib/modprobe.d/blacklist_linux_$(uname -r).conf To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1766052/+subscriptions -- Mailing list: https://launchpad.net/~kernel-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~kernel-packages More help : https://help.launchpad.net/ListHelp

