[U-Boot] [DISCUSSION] Trying to use u-boot 2016.05 with xen 4.4 for jacinto j6 evm board