From: Thorsten Leemhuis on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1779#note_9455...
Ohh, and another quick comment: with all the changes you are currently
preparing for the makefiles, how hard would it be to start making things like
this a bit more neutral for non-RHEL platforms? Something like
s/RHEL_RELEASE/ARK_RELEASE/ maybe?