Or: How to get back that missing quarter gigabyte of RAM. I must admit, though I’m very pleased with my new Raspberry Pi as a potential controller for my various Arduino and ESP8266 boards, I was a bit bemused given the claim of 1GB of main memory to realise on…