Red Hat Enterprise Linux 9 Virtual Machine with EFI firmware is incorrectly configured as 32-bit EFI firmware during the Virtual Machine creation.
To workaround the issue, select Red Hat Enterprise Linux 8 as Virtual Machine option during the process of creating Red Hat Enterprise Linux 9 Virtual Machine with EFI firmware. This affects Virtual Machines with a virtual hardware version 18 and 19.