[pencil] adjust ppcg_tuning options
[pencil] adjust ppcg_tuning options


Former-commit-id: 0e2469743a458d3fc743022feeb153eaf6a30d32
rbaghdadi/pencil-benchmark,pencil-language/pencil-benchmark,pencil-language/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark,rbaghdadi/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,dividiti/pencil-benchmark