Comment # 6 on bug 1047765 from pgnd _

> So I expect them to be included in 4.12.3

Booting with new 4.12.3

    kernel-default-4.12.3-2.1.g409edbf.x86_64                                   

still causes the reported Xen crash

    ...
    (XEN) [2017-07-22 19:30:16] d0v0 Unhandled invalid opcode fault/trap [#6,
ec=ffffffff]
    (XEN) [2017-07-22 19:30:16] domain_crash_sync called from entry.S: fault at
ffff82d080342328 entry.o#create_bounce_frame+0x135/0x14d
    (XEN) [2017-07-22 19:30:16] Domain 0 (vcpu#0) crashed on cpu#0:
    (XEN) [2017-07-22 19:30:16] ----[ Xen-4.9.0_08-516  x86_64  debug=n  
Tainted:  C   ]----
    (XEN) [2017-07-22 19:30:16] CPU:    0
    (XEN) [2017-07-22 19:30:16] RIP:    e033:[<ffffffff822bae60>]
    ...

I don't see mention in the latest pkg changelog, but that's usually no
guarantee.

Do they need to be manually pulled into OBS sources?

I'll take a closer look myself a bit later, and if needed, report back to
upstream ML.