Hello.

I found a discrepancy between the size of memory in the system and report by meminfo.
In the following example, the system registered 512M, but the meminfo shows only 256M.
Error or so and originally intended?

barebox@i.MX51:/ devinfo mem0
resources:
num   : 0
name  : ram0
start : 0x90000000
size  : 0x20000000
driver: mem
bus: platform

no info available for mem0
no parameters available
barebox@i.MX51:/ meminfo
max system bytes =     245760
system bytes     =     245760
in use bytes     =     223200

---