US8543766B2 - Writing Data to System Memory in a Data Processing System in Which Cache Line States Are Tracked