BOARD_ID=tinker BOARD_NAME="Tinker Board" CHASSIS=embedded BOOTLOADER=uboot KERNEL_FILE=zImage BOOT_SYS=spl BOOT_ENV_SIZE=0x8000