diff --git a/src/arch/x86/boot/acpigen.c b/src/arch/x86/boot/acpigen.c
index 0fb400e4eb..108d6c84eb 100644
--- a/src/arch/x86/boot/acpigen.c
+++ b/src/arch/x86/boot/acpigen.c
@@ -22,7 +22,7 @@
 
 /*
  * If you need to change this, change acpigen_write_f and
- * acpigen_patch_len
+ * acpigen_pop_len
  */
 
 #define ACPIGEN_MAXLEN 0xfff
@@ -46,17 +46,6 @@ int acpigen_write_len_f(void)
 	return 2;
 }
 
-void acpigen_patch_len(int len)
-{
-	ASSERT(len <= ACPIGEN_MAXLEN)
-	ASSERT(ltop > 0)
-	char *p = len_stack[--ltop];
-	/* generate store length for 0xfff max */
-	p[0] = (0x40 | (len & 0xf));
-	p[1] = (len >> 4 & 0xff);
-
-}
-
 void acpigen_pop_len(void)
 {
 	int len;
diff --git a/src/arch/x86/include/arch/acpigen.h b/src/arch/x86/include/arch/acpigen.h
index b84a979c7f..55bc87f8dc 100644
--- a/src/arch/x86/include/arch/acpigen.h
+++ b/src/arch/x86/include/arch/acpigen.h
@@ -26,7 +26,6 @@
 #include <arch/acpi.h>
 
 int acpigen_write_len_f(void);
-void acpigen_patch_len(int len);
 void acpigen_pop_len(void);
 void acpigen_set_current(char *curr);
 char *acpigen_get_current(void);