Just noticed this morning that windows was showing 30GB RAM instead of the usual 32GB in system information/task manager. I went to BIOS and noticed memory SPD information showing 'Abnormal' for slot A1 (and 'OK' for the rest). I swapped the RAM sticks in A1 and A2 slots and this time A2 was showing 'Abnormal' (while A1 was 'OK'). So looks like one of the memory sticks might have gone bad. I ran Win7 memory diagnostic tool and it did not return any errors (one pass only at the moment). I was using XMP profile for the memory but changing back to default (Auto) did not make any difference. The most recent change to the system was BIOS update a few days ago. I do not know if that indeed caused this issue since I did not check or notice the memory at that time. Could it also be the board going bad?