The Mali (GPU) kernel module source is there, but not the proprietary userland libraries. So the situation is as you say.
(AFAIK the only Android manufacturer to secure binary distribution rights for GPU drivers was Google with the PowerVR GPU in the Nexus One, and that download comes with heavy restrictions - only for Nexus One, only for Android, do not redistribute, etc. I don't know why GPU manufacturers are so paranoid.)
That said, I don't really know the S2 but I'm fairly sure the Mali GPU libraries and the baseband are the only closed components in the EXYNOS platform. So it could be worse :/.
(AFAIK the only Android manufacturer to secure binary distribution rights for GPU drivers was Google with the PowerVR GPU in the Nexus One, and that download comes with heavy restrictions - only for Nexus One, only for Android, do not redistribute, etc. I don't know why GPU manufacturers are so paranoid.)
That said, I don't really know the S2 but I'm fairly sure the Mali GPU libraries and the baseband are the only closed components in the EXYNOS platform. So it could be worse :/.