"
For any res0 bit, software:

    Must not rely on the bit reading as 0.

    Must use an SBZP policy to write to the bit.
"