Fix fractional time, kernel make, and re-enable TCP example

I have no idea what I was thinking in the original fractional time function.