I am working on a friend's system which is a Gateway sx2841. It has been having random BSODs and it is referencing ntoskrnl.exe. It has Windows 7 Home Premium OEM and 6GBs of ram that seems to be testing fine as far as I know. I am also attaching the reports if someone could please look at them. Thank you.