kernel: documentation nits

Co-authored-by: Brad Campbell <[email protected]>

kernel/src/syscall.rs

@@ -377,8 +377,7 @@ impl Syscall {
 /// and pointers. It is constructed by the scheduler and passed down to the
 /// architecture to be encoded into registers. Architectures may use the various
 /// helper functions defined in
-/// [`utilities::arch_helpers`](crate::utilities::arch_helpers), but are free to
-/// define their own ABI and encoding.
+/// [`utilities::arch_helpers`](crate::utilities::arch_helpers).
 ///
 /// Capsules do not use this struct. Capsules use higher level Rust types (e.g.
 /// [`ReadWriteProcessBuffer`](crate::processbuffer::ReadWriteProcessBuffer) and

kernel/src/utilities/capability_ptr.rs

@@ -112,7 +112,7 @@ impl CapabilityPtr {
     /// ## Safety
     ///
     /// Constructing a [`CapabilityPtr`] with metadata may convey authority to
-    /// dereference this pointer, such as on userspace. When these pointers
+    /// dereference this pointer, such as in userspace. When these pointers
     /// serve as the only memory isolation primitive in the system, this method
     /// can thus break Tock's isolation model. As semi-trusted kernel code can
     /// name this type and method, it is thus marked as `unsafe`.