Hi Al,
These two patches will give some extra ACPI debug output in u-boot so you can see the start/end of the ACPI address allocation. You can also see the size and physical address of each ram bank.
Hopefully this helps you track down the issue. My DSDT changes are not big enough to cross the 0x50000000 boundary yet.
Thanks
Graeme