[PATCH] paravirt: fix missing pte update