Fix store buffer RAM pointer sizes

The pointers' highest bit is not part of the address (but used for
full signaling). The port of the RAM is one bit less.