diff --git a/debian/patches/features/arm/ixp4xx_npe_driver-0.3.1.patch b/debian/patches/features/arm/ixp4xx_npe_driver-0.3.1.patch
index a45733fa1..f7f229799 100644
--- a/debian/patches/features/arm/ixp4xx_npe_driver-0.3.1.patch
+++ b/debian/patches/features/arm/ixp4xx_npe_driver-0.3.1.patch
@@ -322,6 +322,14 @@ diff --git a/arch/arm/mach-ixp4xx/common.c b/arch/arm/mach-ixp4xx/common.c
 index 2ec9a9e..4623d71 100644
 --- a/arch/arm/mach-ixp4xx/common.c
 +++ b/arch/arm/mach-ixp4xx/common.c
+@@ -28,6 +28,7 @@
+ #include <linux/timex.h>
+ #include <linux/clocksource.h>
+ #include <linux/clockchips.h>
++#include <linux/dma-mapping.h>
+ 
+ #include <asm/arch/udc.h>
+ #include <asm/hardware.h>
 @@ -357,6 +357,90 @@ static struct platform_device *ixp46x_devices[] __initdata = {
  	&ixp46x_i2c_controller
  };