This commit also fixes the rpmrepo for 8.5 rt. The previously used one was wrongly generated and had to be regenerated. Signed-off-by: Ondřej Budai <ondrej@budai.cz>