What's the driver situation with Bookworm on the Raspberry Pi 4 with UEFI? Has v3d[1] been ACPI-ized[2]? [1]: https://www.kernel.org/doc/html/latest/gpu/v3d.h

What's the driver situation with Bookworm on the Raspberry Pi 4 with UEFI? Has v3d[1] been ACPI-ized[2]? [1]: https://www.kernel.org/doc/html/latest/gpu/v3d.html https://www.kernel.org/doc/html/latest/gpu/v3d.html [2]: https://wiki.debian.org/RaspberryPi4#Using_EFI_Firmware_and_the_regular_Debian_Installer https://wiki.debian.org/RaspberryPi4#Using_EFI_Firmware_and_...