A small fix to make the kernel compile.
-- 
Ramón Rey Vicente       <ramon dot rey at hispalinux dot es>
        jabber ID       <rreylinux at jabber dot org>
GPG public key ID       0xBEBD71D5 -> http://pgp.escomposlinux.org/