Raspberry Pi avail memory oddly low.

[Steve O'Hara-Smith]

	Hi,

	On booting my 256MB Pi I see this in the dmesg output

real memory  = 234876928 (223 MB)
avail memory = 119918592 (114 MB)

	The avail memory was 114MB before I dropped gpu_mem to 32 and I
thought it suspiciously low then, not changing with increased real memory
makes me strongly suspect an artificial limit being applied somewhere but
I'm not seeing where.

-- 
Steve O'Hara-Smith <steve at sohara.org>