Re: [OS-BUILD PATCH] Adjust FIPS module name in RHEL