###############################################################################
# L4T BSP Information:
# R35 , REVISION: 3.1
# User release: 0.0
###############################################################################
It seems you are using JP5.1.1(R35.3.1).
How do you download the UEFI source?
(i.e. which branch are you using to build uefi binary?)