Raspberry Pi surfs memory crunch to record first half

A well-timed RAM stockpile helped keep boards shipping while rivals struggled for memory