Changed the datatype of sys_mbox_t.

I changed the datatype of sys_mbox_t from a struct pointer to a struct,
allowing us to remove some memory allocation stuff.