Doc update: Change function/kernel to micro-kernel
The purpose of this commit is to unify the terminology used when referring to micro-kernels in the documentation. Instances of kernel, function, procedure etc have been replaced by the proper term micro-kernel.
Signed-off-by: Dan Johansson dan.johansson@arm.com
Edited by Dan Johansson