/* User can (and should) define the platform from U-Boot  */
static int __init kinetis_platform_parse(char *s)
/* User can (and should) define the platform from U-Boot  */
static int __init kinetis_platform_parse(char *s)
{
	if (!strcmp(s, "twr-k70f120m")) {
		kinetis_platform = PLATFORM_KINETIS_TWR_K70F120M;
	} else if (!strcmp(s, "k70-som")) {
		kinetis_platform = PLATFORM_KINETIS_K70_SOM;
	} else if (!strcmp(s, "k61-som")) {
		kinetis_platform = PLATFORM_KINETIS_K61_SOM;
	} else {
		pr_err("%s: An unknown platform requested: %s\n", __func__, s);
	}
	return 1;
}