Hey Linus,
Please git pull the following tag:
 git://git.kernel.org/pub/scm/linux/kernel/git/konrad/xen.git
stable/for-linus-3.9-rc6-tag
which has two fixes. One of them is a bootup fix and the other an bug where
would
not immediately process the timer interrupts leading to quite delayed time skew
on certain
workloads.
 arch/x86/xen/mmu.c   | 12 ++++++++----
 drivers/xen/events.c | 19 +++++++++++++++----
 2 files changed, 23 insertions(+), 8 deletions(-)
Keir Fraser (1):
      xen/events: Handle VIRQ_TIMER before any other hardirq in event loop.
Konrad Rzeszutek Wilk (1):
      xen/mmu: On early bootup, flush the TLB when changing RO->RW bits Xen
provided pagetables.