virtualbox-host-source-5.1.22-1.1 cannot be built on Linux kernel 4.12 (was: Re: [opensuse-factory] Leap 42.3 Build 0308 released!)

On Wed, 05 Jul 2017, 17:23:19 +0200, Ludwig Nussel wrote:

[...] virtualbox (5.1.18_k4.4.72_1 -> 5.1.22_k4.4.73_1)

While this update is a great step forward, one thing is missing, though, when comparing this with what's available in Leap-42.2; the latest update there added support for the new Linux kernel 4.12. Can we get this for 42.3, too, please? https://bugzilla.opensuse.org/show_bug.cgi?id=1047832 TIA, cheers. l8er manfred