if TARGET_SAMA5D2_PTC
config SYS_BOARD
default "sama5d2_ptc"
config SYS_VENDOR default "atmel" config SYS_SOC
default "at91"
config SYS_CONFIG_NAME
endif