Fixed up i-proc stuff in k_send_message() and removed the i-proc check from k_receive_message()