Comment # 11 on bug 1114588 from Aman Vaishya

(In reply to Takashi Iwai from comment #10)
> OK, then there is no quick workaround, at least.
> 
> Could you try the kernel in OBS home:tiwai:bsc1114588 repo?
>  
> https://download.opensuse.org/repositories/home:/tiwai:/bsc1114588/standard/
> 
> I'm not sure whether this would change anything useful, but let's try.
> It contains a partial revert of the commit that was mentioned in the
> upstream bugzilla.

I downloaded the kernel kernel-default-4.12.14-lp150.1.1.g19df83d.x86_64.rpm
and did an rpm install, and then updated the bootloader. While booting from
this kernel I get an error message "You need to load the kernel first".
I am not sure how to move forward with this.