Changed all occurrences of malloc to sys_alloc_mem, reimplemented insert_pcb to fully utilize data structures/descriptors/records/etc. Not fully debugged but it is tested and working.