Whatever the case OS reservations seem to be one of the more closely guarded secrets of the consoles and will never be officially revealed. They weren't last gen. Too add to that veil of secrecy, they are somewhat dynamic, so any number that was accurate one day may not be accurate for long.
Hell the PS4 CPU clock isn't even officially revealed (unless I guess you count those DF post mortems).
They may want to reveal as little as possible to thwart emulation. One of the reasons Xbox original emulation never took of was it was so poorly documented any attempts were difficult despite it having pc components/architecture and used a derivative of directx, while the ps2 documentation was sufficient despite having exotic architecture and many chips that were quite removed from the pcs they were being emulated on.