If you do a sudo rpi-updatesudo 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
