L4linux __raw_writesl/readl undefined

Hello everyone,

I am trying to enable sd card support on my zedboard running l4linux and
I get this error:

ERROR: "__raw_writesl" [drivers/mmc/host/mmci.ko] undefined!
ERROR: "__raw_readsl" [drivers/mmc/host/mmci.ko] undefined!
make[2]: *** [../scripts/Makefile.modpost:91: __modpost] Error 1
make[1]: *** [/home/manolis/repos/l4linux/Makefile:1173: modules] Error 2
make[1]: *** Waiting for unfinished jobs....
  LD      ldrImage
  GZIP    vmlinuz
  LOCINST vmlinuz
make[1]: Leaving directory '/home/manolis/repos/l4linux/build'
make: *** [Makefile:150: sub-make] Error 2

In order to enable sd card support I understand that I need to enable
MMC/SD/SDIO card support in the kernel + ARM AMBA Multimedia Card
Interface support. I have followed the instructions from previous emails
in this list [1][2].

What am I missing? Is there a config option which enables raw
writes/reads on top of L4?

Thank you for you time and help,
Manolis


[1] https://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006296.html
[2] https://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006417.html