core/linux-raspberrypi rebuild for new config

core/linux-raspberrypi/PKGBUILD

@@ -8,7 +8,7 @@ pkgname=('linux-raspberrypi' 'linux-headers-raspberrypi')
 _kernelname=${pkgname#linux}
 _basekernel=3.1
 pkgver=${_basekernel}.9
-pkgrel=31
+pkgrel=32
 arch=('arm')
 url="http://www.kernel.org/"
 license=('GPL2')
@@ -17,11 +17,10 @@ options=('!strip')
 source=('config'
         'change-default-console-loglevel.patch'
         'usb-add-reset-resume-quirk-for-several-webcams.patch'
-        'armdma.patch'
         'args-uncompressed.txt'
         'boot-uncompressed.txt'
         'imagetool-uncompressed.py')
-md5sums=('6384d12ef4d9a0a37d25b7b90eece90a'
+md5sums=('7679418d6e4e3f3276132b30a5be851f'
          '9d3c56a4b999c8bfbd4018089a62f662'
          'd00814b57448895e65fbbc800e8a58ba'
          '6e7667c6c6348bfeca22eaaa05462d62'
@@ -52,9 +51,6 @@ build() {
   cp ${srcdir}/boot-uncompressed.txt arch/arm/boot/
   cp ${srcdir}/imagetool-uncompressed.py arch/arm/boot/
 
-  # ALARM: add dma_coherent_write_sync calls to USB EHCI driver"
-  patch -Np1 -i "${srcdir}/armdma.patch"
-
   cat "${srcdir}/config" > ./.config
 
   # set extraversion to pkgrel