Some files make use of Kernel APIs without including kernel.h, fix this problem. Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no>