Replaced 24-bit with 26-bit offset. Also, updated discussion to not mention top of VA space. Instead mention unused VA space