Upps, for some reason the export for those symbols was disabled some long time ago. I think it's not necessary (anymore). Please just remove the CONFIG_L4 ifndef guards for __raw_writesl etc in arch/l4/kernel/arch-arm/armksyms.c.
Thank you Adam, this solved it.
Manolis