Try running a command like vulkaninfo --summary
.
Then try running VK_DRIVER_FILES=/usr/share/vulkan/icd.d/radeon_icd.x86_64.json vulkaninfo --summary
(alternatively, just try running whatever else it is you use that reports you only have lavapipe available). See if there’s a difference and if it finally reports the hardware being used.
The only charitable read of this is the end-user bypassing controls on company-supplied computers.
Of course that doesn’t mean that they won’t also shove secure boot, hw lockouts, DRM, etc on regular consumer laptops as well.