Follow up to D19291: it now makes sense to use two Intr*Mem properties, in particular IntrReadMem + IntrArgMemOnly is common.
Pointed out by Mikael Holmén.
LGTM. FYI, comment cleanup can be done without review.