tools/configure:
+  if (( [ "$t_cpu" = "hosted" ] && [ "$t_manufacturer" = "maemo" ] )) ||
+     (( [ "$t_cpu" = "hosted" ] && [ "$t_manufacturer" = "pandora" ] )) ||
+     (( [ "$simulator" = "yes" ] )); then