Comment # 21 on bug 1202386 from Malte von der Lancken Wakenitz

(In reply to Takashi Iwai from comment #20)
> FWIW, I'm building a test kernel with a debug patch that does NULL checks
> and some debug prints around the power supply driver in OBS
> home:tiwai:bsc1202386.
> If it were a simple NULL ops, the crash could be avoided (and show the
> problematic device name).
> 
> Unfortunately, the package build gets stuck for hours, maybe because of the
> reduced build power in our build firm.  In anyway, once after the build
> finishes, it'd be great if anyone can test it (in the similar condition you
> triggered the bug in the past) and give the dmesg output.
> The test kernel will appear at:
>   http://download.opensuse.org/repositories/home:/tiwai:/bsc1202386/standard/
> 
> Note that it's an unofficial build, hence disable Secure Boot beforehand.

I have added the above repo to my normal repos. I see only i586 and i686
architecture kernels. But I have also never installed a "patched" debug kernel
like this before. Am I missing something? If so could you perhaps point me
towards some documentation that might help me understand what to do?