Updated Kernel for Calixto-EVM Board from TI-SDK-Ver-6.0