Merge branch 'for-linus' of git://xenbits.xen.org/people/sstabellini/linux-pvhvm