from prev labs, modified kern/sync/monitor.h

kern/sync/monitor.h removed 2nd typedef for monitor_t