[opensuse-virtual] BUG: unable to handle kernel NULL pointer dereference

Hi All, Yesterday my xen machine stopped working, after a kernel panic. To me it seems to problem started at something called xen_spin_kick, I attached a screenshot of the console of the xen machine. Is this email-list the right one to address this bug? disto: openSuse 13.1 kernel 3.11.6-4-xen xen : 4.3.1_02-4.4 mfg, Jeroen