platin: allow to disable internal wcet analysis