Re: Broken support for 4GB DDR on 32-bit platforms