1stdin=serial,button-kbd
2stdout=serial,vidconsole
3stderr=serial,vidconsole
4preboot=scsi scan; usb start
5fastboot=fastboot -l $fastboot_addr_r usb 0
6do_boot=bootefi bootmgr
7bootmenu_0=Boot first available device=run do_boot
8bootmenu_1=Enable fastboot mode=run fastboot
9bootmenu_2=Reset device=reset
10menucmd=bootmenu
11bootcmd=run do_boot
12