Index: ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config
===================================================================
--- ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3.orig/ddiskit.config	2022-07-12 02:04:24.700230196 +0200
+++ ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config	2022-07-12 02:07:27.444095264 +0200
@@ -4,6 +4,9 @@
 major = 7
 minor = 0
 
+kernel_dist_re = (?P<rpm_dist>\.el([6-9]|[1-9][0-9])(_(0|[1-9][0-9]*))?)
+kernel_flex_version_re = {kernel_nvr_re}(?P<rpm_release_aux>(\.[0-9]{1,3})*){kernel_dist_re}
+
 [rpm_gpg_check]
 ## Some initial assumption about the keyring dir
 keyring_dir = {defaults.res_dir}/keyrings/{defaults.profile}