[PATCH,picochip] Removed profiling support in picochip

[Paolo Bonzini]

... oh, you need to add also this to the OPTIMIZATION_OPTIONS:

        flag_profile_values_set = 1;
        flag_unroll_loops_set = 1;
        flag_peel_loops_set = 1;
        flag_tracer_set = 1;
        flag_value_profile_transformations_set = 1;
        flag_inline_functions_set = 1;
        flag_ipa_cp_set = 1;
        flag_ipa_cp_clone_set = 1;
        flag_predictive_commoning_set = 1;
        flag_unswitch_loops_set = 1;
        flag_gcse_after_reload_set = 1;

Paolo