the issue about the available RAM is this: https://github.com/raspberrypi/linux/commit/cdb78ce891f6c636...
probably some kind of address mapping, but I'm no expert on this stuff ;-)
probably some kind of address mapping, but I'm no expert on this stuff ;-)