But is the system choking? Or, are you certain it would choke with half the RAM you have? It's a well know thing that OS will book majority of the RAM you have and that's actually not a problem at all.