Comment # 11 on bug 1037700 from Michael Andres

If the situation occurs again, where you do 'zypper up' and it does not try to
update the kernel as you expect it, then please create a solver testcase
(--debug-solver) and attach it:

>    $ zypper up --debug-solver
>    ...
>    Generating solver test case...
>    Solver test case generated successfully at /var/log/zypper.solverTestCase.  

Then pack the output directory together with /var/log/zypper.log and attach it
to the bugreport. 

>    $ cd /tmp
>    $ tar cvjf zypper.solverTestCase.tar.bz2 /var/log/zypper.solverTestCase/ /var/log/zypper.log

In case the testcase exceeds the 10MB limit for bugzilla uploads, you can use
'split' to divide the file into smaller pieces: 

>    $ split -b 10M --additional-suffix=-zypper.solverTestCase.tar.bz2  zypper.solverTestCase.tar.bz2

The created pieces will be named like this:

>    xaa-zypper.solverTestCase.tar.bz2
>    xab-zypper.solverTestCase.tar.bz2
>    xac-zypper.solverTestCase.tar.bz2
>    ...