On 2020-01-25 11:34, Jun Sun wrote: > Wow! That is it! Thank you, Aurlien! > > I'm using debian 10.2 and clearly the kernel config option is not there. > After adding it back, the guest machine powers off correctly. > The problem has been fixed in debian 10.3 which has just been released. Aurelien -- Aurelien Jarno GPG: 4096R/1DDD8C9B aurelien@aurel32.net http://www.aurel32.net