I uploaded a new version of the FPGA section and of li_gangyi's PSU schematic and board to github and dropbox. Commit logs:

Routed PSU: Fixed the package of the PSU switchers (had two pads) and routed the PSU section.

Created symbols for VCCINT[01]: Added corresponding symbols to the project.lbr library and used them in the FPGA files. Also replaced the older name of the library with the correct one in the schematic.

Next is the MCU section.