Here is a small diff that makes the kernel compile for me.  Can't say
whether it works, but at least it compiles ;-)

If anyone is working with such a board, please contact me!

Felix