kernel-runner: Fixed include path for TimeValue.h to work in Linux (support->Support)