issue #43 timesys kernel not using parallel make