It seems the RedPatch git repo has not been updated in about a year, and the RHEL 7.5 and 7.6 kernel patches have not been committed. Are there plans to add these kernels? Thank you