[mwint]

32 bits can address 4GiB. That's how 2^32 works. It can also address 2GiB, or 1GiB. I think the wording is fine.

Like saying a car can go up to 200mph, no one thinks the car is unable to go 50mph.