building driver with non-xilinx compiler fails

when trying to build the dataplane driver for zynq with the arm-none-linux-gnueabi compiler we get the following error:

[embedded@localhost opencpi]$ make driver
make -C adapt/os/ocpios/linux/driver
OCPI_KERNEL_DIR was specified, we are now using: KERNELDIR=/home/embedded/ocpi/opencpi/platforms/zed/release/kernel-headers ARCH=arm CROSS_COMPILE=/opt/CodeSourcery/Sourcery_G++_Lite/bin/arm-none-linux-gnueabi-
make[1]: Entering directory `/home/embedded/ocpi/opencpi/adapt/os/ocpios/linux/driver'
Building kernel module target-linux-zynq-arm/opencpi.ko
make -C /home/embedded/ocpi/opencpi/platforms/zed/release/kernel-headers M=/home/embedded/ocpi/opencpi/adapt/os/ocpios/linux/driver modules
make[2]: Entering directory `/home/embedded/ocpi/opencpi/platforms/zed/release-2013.4/kernel-headers-xilinx-v2013.4'
CC [M] /home/embedded/ocpi/opencpi/adapt/os/ocpios/linux/driver/opencpi.o
/tmp/ccQ7Sgps.s: Assembler messages:
/tmp/ccQ7Sgps.s:923: Error: garbage following instruction – `dmb ish'
/tmp/ccQ7Sgps.s:934: Error: garbage following instruction – `dmb ish'
/tmp/ccQ7Sgps.s:2188: Error: garbage following instruction – `dmb ish'
/tmp/ccQ7Sgps.s:2201: Error: garbage following instruction – `dmb ish'
/tmp/ccQ7Sgps.s:2266: Error: garbage following instruction – `dmb ish'
/tmp/ccQ7Sgps.s:2279: Error: garbage following instruction – `dmb ish'
make[3]: *** /home/embedded/ocpi/opencpi/adapt/os/ocpios/linux/driver/opencpi.o Error 1
make[2]: *** [module/home/embedded/ocpi/opencpi/adapt/os/ocpios/linux/driver] Error 2
make[2]: Leaving directory `/home/embedded/ocpi/opencpi/platforms/zed/release-2013.4/kernel-headers-xilinx-v2013.4'
make[1]: *** [target-linux-zynq-arm/opencpi.ko] Error 2
make[1]: Leaving directory `/home/embedded/ocpi/opencpi/adapt/os/ocpios/linux/driver'
make: *** [driver] Error 2

this is not the standard opencpi compiler used but it is a valid compiler that is widely used and in theory this should work.