Re: [GHC] #11297: CmmSwitchTest is broken on 32-bit platforms (was: CmmSwitchTest fails on 32-bit platforms)