/* This exists in case the total device image is assembled lacking some of the embedded CPU images  */
static void nsi_boot_warning(const char *func)
/* This exists in case the total device image is assembled lacking some of the embedded CPU images  */
static void nsi_boot_warning(const char *func)
{
	nsi_print_trace("%s: Attempted boot of CPU without image. "
			"CPU shut down permanently\n", func);
}