diff --git a/src/northbridge/intel/sandybridge/raminit.c b/src/northbridge/intel/sandybridge/raminit.c
index 050f4c2..cea3f2c 100644
--- a/src/northbridge/intel/sandybridge/raminit.c
+++ b/src/northbridge/intel/sandybridge/raminit.c
@@ -18,6 +18,7 @@
 #include <console/console.h>
 #include <commonlib/region.h>
 #include <bootmode.h>
+#include <cf9_reset.h>
 #include <string.h>
 #include <arch/cpu.h>
 #include <arch/io.h>
@@ -312,9 +313,7 @@
 	    && reg_5d10 && !s3resume) {
 		MCHBAR32(0x5d10) = 0;
 		/* Need reset.  */
-		outb(0x6, 0xcf9);
-
-		halt();
+		system_reset();
 	}
 
 	early_pch_init_native();
@@ -326,8 +325,7 @@
 	if (cache_not_found || (region_device_sz(&rdev) < sizeof(ctrl))) {
 		if (s3resume) {
 			/* Failed S3 resume, reset to come up cleanly */
-			outb(0x6, 0xcf9);
-			halt();
+			system_reset();
 		}
 		ctrl_cached = NULL;
 	} else {
@@ -356,8 +354,7 @@
 		if (err) {
 			if (s3resume) {
 				/* Failed S3 resume, reset to come up cleanly */
-				outb(0x6, 0xcf9);
-				halt();
+				system_reset();
 			}
 			/* no need to erase bad mrc cache here, it gets overwritten on
 			 * successful boot. */
@@ -430,8 +427,7 @@
 		save_timings(&ctrl);
 	if (s3resume && !cbmem_was_inited) {
 		/* Failed S3 resume, reset to come up cleanly */
-		outb(0x6, 0xcf9);
-		halt();
+		system_reset();
 	}
 
 	if (!s3resume)
diff --git a/src/northbridge/intel/sandybridge/raminit_mrc.c b/src/northbridge/intel/sandybridge/raminit_mrc.c
index 8c4f27d..a68ae49 100644
--- a/src/northbridge/intel/sandybridge/raminit_mrc.c
+++ b/src/northbridge/intel/sandybridge/raminit_mrc.c
@@ -16,6 +16,7 @@
 #include <console/console.h>
 #include <console/usb.h>
 #include <bootmode.h>
+#include <cf9_reset.h>
 #include <string.h>
 #include <arch/io.h>
 #include <device/pci_ops.h>
@@ -212,8 +213,7 @@
 	/* If MRC data is not found we cannot continue S3 resume. */
 	if (pei_data->boot_mode == 2 && !pei_data->mrc_input) {
 		printk(BIOS_DEBUG, "Giving up in sdram_initialize: No MRC data\n");
-		outb(0x6, 0xcf9);
-		halt();
+		system_reset();
 	}
 
 	/* Pass console handler in pei_data */
@@ -310,7 +310,6 @@
 
 	if (s3resume && !cbmem_was_initted) {
 		/* Failed S3 resume, reset to come up cleanly */
-		outb(0x6, 0xcf9);
-		halt();
+		system_reset();
 	}
 }