Core initialization compile configuration

Detailed Description

Functions
void	kernel_init (void)
	Initializes scheduler and creates main and idle task.
#define	CONFIG_SKIP_BOOT_MSG
	Enable this to disable printing a message on bootup.
#define	CONFIG_BOOT_MSG_STRING
	The message printed by RIOT before calling the main() function, when CONFIG_SKIP_BOOT_MSG is not set.