Re: [GHC] #11297: CmmSwitchTest is broken on 32-bit platforms