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