[Arch-excludes] Architecture specific change in rpms/frama-c.git