if false; then
	setenv bootargs earlyprintk console=ttyPS0,115200 ip=dhcp nfsroot=10.16.64.32:/export/roots/scope,nfsvers=3,tcp rw panic=30
	tftpboot ${kernel_load_address} /pxe/scope/uImage
	tftpboot ${ramdisk_load_address} /pxe/scope/nowt.cpio.uboot
	tftpboot ${devicetree_load_address} /pxe/scope/ebaz4205-zynq7.dtb 
	bootm ${kernel_load_address} ${ramdisk_load_address} ${devicetree_load_address}
else
	run defaultboot
fi