Issue in booting on Lenovo x230

[Parfait Tokponnon]

Hello,
Please, may you help me figure out what makes the booting process hang on
Lenovo x230?
The booting process just hangs with no explicit error on the serial console.
Freshly cloned git repository, This happens with both demo and seoul-net
scenarios
Log files are attached,
Genode version: 20.05
Regards,
-- 
Parfait T.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20200820/cb35bb47/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: demo.log
Type: text/x-log
Size: 12568 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20200820/cb35bb47/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: seoul-net.log
Type: text/x-log
Size: 11831 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20200820/cb35bb47/attachment-0003.bin>