Hacked KVM so it actually works. Thanks to @apritzel for remembering the bug and what to fix.

longsleep · longsleep · commit 2d4c3da2c6ad · 2016-02-22T23:23:57.000+01:00
diff --git a/virt/kvm/arm/vgic-v2.c b/virt/kvm/arm/vgic-v2.c
@@ -71,7 +71,7 @@ static void vgic_v2_sync_lr_elrsr(struct kvm_vcpu *vcpu, int lr,
 				  struct vgic_lr lr_desc)
 {
 	if (!(lr_desc.state & LR_STATE_MASK))
-		set_bit(lr, (unsigned long *)vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr);
+		__set_bit(lr, (unsigned long *)vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr);
 }
 
 static u64 vgic_v2_get_elrsr(const struct kvm_vcpu *vcpu)

Original file line number	Diff line number	Diff line change
`@@ -71,7 +71,7 @@ static void vgic_v2_sync_lr_elrsr(struct kvm_vcpu *vcpu, int lr,`
`71`	`71`	`struct vgic_lr lr_desc)`
`72`	`72`	`{`
`73`	`73`	`if (!(lr_desc.state & LR_STATE_MASK))`
`74`		`- set_bit(lr, (unsigned long *)vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr);`
	`74`	`+ __set_bit(lr, (unsigned long *)vcpu->arch.vgic_cpu.vgic_v2.vgic_elrsr);`
`75`	`75`	`}`
`76`	`76`
`77`	`77`	`static u64 vgic_v2_get_elrsr(const struct kvm_vcpu *vcpu)`