So what I understand from Sony comments it that all the flexible memory is reserved for Games too.
How many memory is used by OS, Games and flexible is yet unknown.
The fact is the OS is still Beta/Alpha... there are a lot of optmizations to be made yet and even Sony didn't know how much memory the final version it will use.
That's what I guess.