EFI support for Jetson TX1 and running upstream kernel

Sorry that there is no plan for this on TX1. Actually, TX1 will not have big change in boot components anymore.

Please move to Xavier or Xavier NX which will have chance to support this in future.