Rename "ark" directory to "rhel" in "redhat/configs"
This project is ARK ("Always Ready Kernel") and it produces kernels in Fedora and RHEL configurations. However, the RHEL configuration is in the ark
directory, which confuses people into thinking it belongs to something else.
And even with all that, the configs from the ark
directory get generated as rhel
Kconfigs anyway.
Please consider renaming the ark
directory to rhel
so that this point of confusion and misdirection is gone.