Bug: Was tagging control register stores as having a writeback instead of synchronized stores