Quick reply (been quite busy), I can try to take a look at this when I get home a few days from now. It is indeed very likely that we need a different DTS for a higher ram device.

Please poke me again in a few days from now (IRC is best, bugtracker also works, I read the focus occasionally), and then let's see if we can get this fixed ASAP.