What on earth, why does the PS4 OS take up 3.5GB?
Hopefully Gamescon will provide some answers. Either way I don't think this will affect games at launch, although it may mean that in some cases the X1 games actually have more ram at their disposal. Things appear to levelling out now.