Summary of changes: b4d116e... only enable tests on archs with ghci except armv7 (#1158522 (*) ba15a85... proper fix to disable tests everywhere (#1158522) (*) (*) This commit already existed in another branch; no separate mail sent