Comment # 6 on bug 1048348 from Bruno Friedmann

List of packages installed on buggy system

zypper se -si kernel ucode
S  | Name                           | Type    | Version                       
| Arch   | Repository
---+--------------------------------+---------+--------------------------------+--------+------------------
i+ | kernel-default                 | package | 4.4.72-1.1                    
| x86_64 | (System Packages)
i+ | kernel-default                 | package | 4.4.75-1.1                    
| x86_64 | oss
i+ | kernel-default-devel           | package | 4.4.72-1.1                    
| x86_64 | (System Packages)
i+ | kernel-default-devel           | package | 4.4.75-1.1                    
| x86_64 | oss
i+ | kernel-devel                   | package | 4.4.72-1.1                    
| noarch | (System Packages)
i+ | kernel-devel                   | package | 4.4.75-1.1                    
| noarch | oss
i+ | kernel-firmware                | package | 20170530-9.1                  
| noarch | oss
i+ | kernel-macros                  | package | 4.4.75-1.1                    
| noarch | oss
i+ | kernel-source                  | package | 4.4.72-1.1                    
| noarch | (System Packages)
i+ | kernel-source                  | package | 4.4.75-1.1                    
| noarch | oss
i  | kernel-syms                    | package | 4.4.75-1.1                    
| x86_64 | oss
i+ | ucode-amd                      | package | 20170530-9.1                  
| noarch | oss
i+ | ucode-intel                    | package | 20170511-1.1                  
| x86_64 | oss