if TARGET_CMI_MPC5XX config SYS_BOARD string default "cmi" config SYS_CONFIG_NAME string default "cmi_mpc5xx" endif