make ifxmips able to handle platform devices