Comment # 3 on bug 1121077 from Damien Allain

(In reply to Felix Miata from comment #2)
> Bug 1112963 is the AST bug inferred by comment 1.

Thanks. I did see the description of this bug when I searched for a duplicate,
but it did not look like anything to me...

Should we still mark my bug as duplicate ?

(In reply to Takashi Iwai from comment #1)
> Please check with the latest kernel (or the kernel in OBS
> Kernel:openSUSE-42.3 repo).  The likely relevant issue (the performance with
> AST graphics) has been recently fixed.

I did ::

  zypper up kernel-default

but this gives version 4.4.165-81 (4 dec 2018) that has the same bug.
So I reverted to the unbugged version with ::

  zypper install --oldpackage kernel-default-4.4.143-65.1.x86_64
  cd /boot
  mv -v !(*4.4.143-65|.*4.4.143-65)-default* bugged/
  cd /boot/grub2
  mv -v grub.cfg{,~}
  grub2-mkconfig -o grub.cfg

I looked at all comments of bug 1112963,
especially from 115 onward and the dates they mention (4 dec 2018 onward),
but I still fail to work out how to update to the fixed kernel.
Could you tell me how I should do so ?