ixp4xx: add support for linux 3.10