kernel/include/config/RV_PER_TASK_MONITORS