Added message type for when the KCD sends a command and checks for if the sender_id pointer is null in k_receive_message()
Fixed bug in configure_old_pcb() and removed unnecessary i-proc stuff from process_switch()