[ixp1200] Intel bug in ue debug code?