Fix RecordWriteStub -- initial mode (STORE_BUFFER_ONLY) broken