Vasiliy,
if a different SeaBIOS is needed, that's another bug. You can use hint.atkbd.0.disabled="1" to work around it.
But if disable apicv is not needed, can you please include your cpuinfo here?
Vasiliy,
if a different SeaBIOS is needed, that's another bug. You can use hint.atkbd. 0.disabled= "1" to work around it.
But if disable apicv is not needed, can you please include your cpuinfo here?