Initialise and start the kernel

Perform the correct procedure to initialise the system's kernel.

Charlie makes use of CMSIS-RTOS RTX. To make use of its threading, and
other features it must be properly started.