several fixes to ifxmips, getting ready for dsl driver merge