This commit replaces the nanokernel.h include by kernel.h. Change-Id: Ib42fbf2d9f77a73c0831f569b3dbbfb342ea2e1d Signed-off-by: Flavio Santes <flavio.santes@intel.com>