Support vexpress

To support vexpress, modifies source codes
- Fix uart code to support vexpress
- Configure and separate build scripts
- Add board configuration files, memory linker scripts and u-boot booting commands
- Modify Makefiles
- Add manual to support vexpress