That was my understanding as well. Xbox1 7th core is not fully unlocked, and on top of that the OS can still claim some more back when running some functions.
I guess we won't know for sure until official statements are released, but if it's the entire core the PS4 will have a slight advantage, especially as developers would be able to plan to fully utilise the core with no worry that it could suddenly drop performance.