I only tried it in Linux (Ubuntu 14.04 LTS, 64bit). Based on your statements it seems you're able to build the BSP? Contrary to http://linux-sunxi.org/Pine64#U-Boot -- Since you're convinced the BSP isn't broken I would assume you already built it?
And another one that puzzles me: When you start working on Linux for A64 where will development happen? Do you share your code/fixes on Github? Working together with or against the linux-sunxi folks?
And another one that puzzles me: When you start working on Linux for A64 where will development happen? Do you share your code/fixes on Github? Working together with or against the linux-sunxi folks?