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

[2]: https://wiki.debian.org/RaspberryPi4#Using_EFI_Firmware_and_...