26 Aug
                
                    2025
                
            
            
                26 Aug
                
                '25
                
            
            
            
        
    
                12:37 p.m.
            
        Thank you, that was it Indeed! I took the separate json firmware file from https://src.fedoraproject.org/fork/kraxel/rpms/edk2/c/5146a0c3e9bf821d045e0c... (which was linked in the patch thread) and adapted the path to the OVMF file to my system. then fixed my virt-install invocation slightly (mainly removing loader.stateless and loader.type) and it works now.