document $^P's 0x800 and 0x1000

these were introduced in c30d8139e