Summary of changes: ebc8ce8... Add -boolean, -minisat, and -signed patches to fix test fai (*) 1eebfe3... Work around %{__isa_bits} brokenness on koji. (*) (*) This commit already existed in another branch; no separate mail sent