If you do a sudo rpi-update that will probably give you back the missing memory. The current arrangement is a temporary fix to allow sonic pi (and possibly unknown other software) to work properly. See http://www.raspberrypi.org/forums/viewtopic.php?p=685622#p685622