[ixp4xx] fix a broken patch, thanks to Giampaolo Mancini (closes #3462)