Raspberry Pi reference 2013-12-20 (armhf)
Generated using spindle, http://asbradbury.org/projects/spindle/, 8f9603f, stage4-lxde-edu.qed
