/* User can (and should) define the platform from U-Boot  */
static int __init a2f_platform_parse(char *s)
/* User can (and should) define the platform from U-Boot  */
static int __init a2f_platform_parse(char *s)
{
	if (!strcmp(s, "a2f-lnx-evb")) {
		a2f_platform = PLATFORM_A2F_LNX_EVB;
	}
	else if (!strcmp(s, "a2f200-som")) {
		a2f_platform = PLATFORM_A2F200_SOM;
	}
	else if (!strcmp(s, "a2f500-som")) {
		a2f_platform = PLATFORM_A2F500_SOM;
	}
	else if (!strcmp(s, "a2f-actel-dev-brd")) {
		a2f_platform = PLATFORM_A2F_ACTEL_DEV_BRD;
	}
	else if (!strcmp(s, "a2f-hoermann-brd")) {
		a2f_platform = PLATFORM_A2F_HOERMANN_BRD;
	}
	return 1;
}