Slight changes to the SELinux and audit kernel repository process