I see, it’s the pftf UEFI. Workstation image is using U-Boot with working V3D, that might be why.
Firmware Version: UEFI Firmware v1.34
To get working V3D hardware acceleration in UEFI, Devicetree is needed in System Table Selection.
Though some stuff might be broken, last time I tired ACPI+Devicetree on RPi400 (with vanilla kernel), latest base DTB doesn’t boot, LED & power key don’t work, power off becomes reboot… etc.