Re: vmm timer for linux guests

[Sivaram Gowkanapalli]

Hello Pratik,

I thought the serial console has been stable since this patch. I just noticed a 
hang. So, the issue seems to still persist.

Thanks