seoul vmm in qemu

Hello Genodians,

I am trying to run seoul demos from genode-world in qemu. It works on my PC but doesn't work on my laptop. The VM is getting stuck on booting. Last messages in the log:

[init -> seoul] VMM: # [ 0.000000] Console: colour dummy device 80x25 [init -> seoul] VMM: # [ 0.000000] printk: console [tty0] enabled [init -> seoul] VMM: # [ 0.000000] printk: bootconsole [earlyser0] disabled [init -> seoul] VMM: [1] [init -> seoul] VMM: unsupported rdmsr 396 at 810186f7 [init -> seoul] VMM: [0] [init -> seoul] VMM: unsupported wrmsr 2ff0 <-(0:20000000) at ffffffff8101854f

I suspect that it can be related to CPU. On PC I have i5-9600K, on laptop - i7-1270P.

Any ideas on how to fix it? Thanks!

-- Best Regards Ivan Loskutov