Detect IXP4xx processors correctly