Seoul-net scenario hangs on "overmap attempt MEM" message when using uefi

Hello all, I got an issue when executing the seoul-net scenario in a freshly downloaded Genode directory and using uefi boot. Execution hangs on "overmap attempt MEM ....". It should be noted that it works fine with other boot option (disk, iso, ...). But I need the uefi boot and it used to work fine in old versions. Any idea to on to investigate this issue? Enclosed here the log file, as well as the modified build.conf and seoul.inc The tianocore.bin comes from here https://www.kraxel.org/repos/jenkins/edk2/edk2.git-ovmf-x64-0-20190131.920.g1a35dd723b.noarch.rpm