ixp4xx: switch to kernel 3.10