Fixed hard fault(s)

Note: Can't use k_procs in user procs -- causes user/kernel level
conflicts, hence the hard faults.