Why only 3.5 GB Ram? Mismanagement of RAM?

So my question for the XDA community is why are only 3.5GB of the 4GB DDR4 available? Is this just poor optimization or mismanagement on Samsung's end?