diff --git a/debian/changelog b/debian/changelog
index eee1c7f2b..15f7f4426 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+linux (3.7.1-1~experimental.3) UNRELEASED; urgency=low
+
+  [ Ben Hutchings ]
+  * [ia64] nouveau: Disable another bit of ACPI support (fixes FTBFS)
+
+ -- Ben Hutchings <ben@decadent.org.uk>  Sun, 06 Jan 2013 04:39:12 +0000
+
 linux (3.7.1-1~experimental.2) experimental; urgency=low
 
   [ Ben Hutchings ]
diff --git a/debian/patches/bugfix/ia64/nouveau-ACPI-support-is-dependent-on-X86.patch b/debian/patches/bugfix/ia64/nouveau-ACPI-support-is-dependent-on-X86.patch
index 80341eee0..ef1810f57 100644
--- a/debian/patches/bugfix/ia64/nouveau-ACPI-support-is-dependent-on-X86.patch
+++ b/debian/patches/bugfix/ia64/nouveau-ACPI-support-is-dependent-on-X86.patch
@@ -49,3 +49,14 @@ Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
  void nouveau_register_dsm_handler(void);
  void nouveau_unregister_dsm_handler(void);
  void nouveau_switcheroo_optimus_dsm(void);
+--- a/drivers/gpu/drm/nouveau/core/subdev/bios/base.c
++++ b/drivers/gpu/drm/nouveau/core/subdev/bios/base.c
+@@ -172,7 +172,7 @@ out:
+ 	nv_wr32(bios, pcireg, access);
+ }
+ 
+-#if defined(CONFIG_ACPI)
++#if defined(CONFIG_ACPI) && defined(CONFIG_X86)
+ int nouveau_acpi_get_bios_chunk(uint8_t *bios, int offset, int len);
+ bool nouveau_acpi_rom_supported(struct pci_dev *pdev);
+ #else