Comment # 12 on bug 1209197 from Hans Mayer

For the record: Latest kernel 6.2.10 still doen't boot. Any suggestions how to
proceed here?