> This is what the patch does. It does not handle the case of VM resume yet.

Actually, it does. Look at the use of v->generation.