This kernel includes Range-Lock optimization designed for PMigrate-Xen.