After updating the Debian kernel from https://radxa-repo.github.io/bookworm/, the WiFi no longer works. It has been found that when updating the kernel from 6.1.115-4 to 6.1.115-5, the broadcom module is no longer present in the kernel linux-image-6.1.115-5-rk2501_6.1.115-5_arm64.deb. The module is still missing in the latest linux-image-6.1.115-6-rk2501_6.1.115-6_arm64.deb. What alternatives are there to get the WiFi working again?