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.