| CONFIG_DEFAULT_DEVICE_TREE="tegra30-asus-tf600t" | |
| CONFIG_TRANSFORMER_SPI_BOOT=y | |
| CONFIG_BOOTCOMMAND="setenv gpio_button 222; if run check_button; then poweroff; fi; setenv gpio_button 132; if run check_button; then echo Starting SPI flash update ...; run update_spi; fi; run bootcmd_mmc1; run bootcmd_mmc0; poweroff;" | |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x4d00 |