another patch related to the [XSA-240, CVE-2017-15595] issue
    x86 PV guests may gain access to internally used page [XSA-248]
    broken x86 shadow mode refcount overflow check [XSA-249]
    improper x86 shadow mode refcount error handling [XSA-250]
    improper bug check in x86 log-dirty handling [XSA-251]