[U-Boot] u-boot.git or u-boot-x86.git for x86_64 u-boots?

I found two repos w.r.t x86_64 for u-boot, which one should I use?

I am ATM only looking at USING the qemu-x86 target for now.

BTW, I found tools/binman/binman.py only worked with python 2.7, maybe you can change the shebang to python2.7 as my default python is 3.4

Jocke