/* User can (and should) define the platform from U-Boot  */
static int __init lpc178x_platform_parse(char *s)
/* User can (and should) define the platform from U-Boot  */
static int __init lpc178x_platform_parse(char *s)
{
	if (!strcmp(s, "ea-lpc1788"))
		lpc178x_platform = PLATFORM_LPC178X_EA_LPC1788;
	else if (!strcmp(s, "lpc-lnx-evb"))
		lpc178x_platform = PLATFORM_LPC178X_LNX_EVB;
	return 1;
}