diff --git a/debian/changelog b/debian/changelog
index 6f6e7766d..126ca85e3 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,10 @@ linux (3.15-1~exp1) UNRELEASED; urgency=medium
   * [armhf] Enable HDMI on imx6qdl-wandboard, SolidRun HummingBoard and
     Cubox -i. (Closes: #750406)
 
+  [ Ben Hutchings ]
+  * [powerpc] Build-depend on gcc-4.8 (>= 4.8.2-1) to ensure that
+    JUMP_LABEL works
+
  -- maximilian attems <maks@debian.org>  Tue, 03 Jun 2014 23:44:00 +0200
 
 linux (3.15~rc8-1~exp1) experimental; urgency=medium
diff --git a/debian/config/powerpc/config.powerpc64 b/debian/config/powerpc/config.powerpc64
deleted file mode 100644
index 2fb296363..000000000
--- a/debian/config/powerpc/config.powerpc64
+++ /dev/null
@@ -1,3 +0,0 @@
-#. Temporary hack to maintain ABI as 3.14.2-1 was built with a compiler
-#. version that had broken asm goto... though only with -m64!
-# CONFIG_JUMP_LABEL is not set
diff --git a/debian/config/powerpc/defines b/debian/config/powerpc/defines
index a11a3366d..32fbcf74d 100644
--- a/debian/config/powerpc/defines
+++ b/debian/config/powerpc/defines
@@ -13,6 +13,10 @@ configs:
 suggests: mkvmlinuz
 install-stem: vmlinux
 
+[relations]
+# This ensures we get asm goto support and avoid an ABI change
+gcc-4.8: gcc-4.8 (>= 4.8.2-21)
+
 [powerpc_description]
 hardware: uniprocessor 32-bit PowerPC