Cleaned up some bugs in timeout.c, port_max.c, and clocksource.c