[ixp4xx]: fix machtype handling above 4096