you're right, it's a SDRAM. at the moment that is used mostly by internal peripherals such as camera capture, frame buffer for HDMI, pixel buffer for NEOPIXEL etc. we are working to expose that also as general purpose RAM for other uses. suggestions are more than welcome.