The subject says it all. We can speculate as to the cause: We think it is necessary to enable "above 4G decoding" in the OVMF bios. If that is the case then the question is: How can we enabled "above 4G decoding" or similar feature in the OVMF bios?
Otherwise, we believe the reason the VM...