[opensuse-factory] Question: Alternative kernel