Single character output via UART

Current UART settings are for VersatilePB board via qemu emulation.
Merge branch 'development' into startup
Add entry point to C code

C code begins at hyp_main, implemented in main/main.c

All fixes small issue with Makefile - C code compilation was missing -o flag,
and was not muted.
Target Cubietruck UART0 for early printing to UART

Target Cubietruck by linking hypervisor to 0x40000000 in RAM (beginning of RAM
on Cubietruck) and use UART0 to output serial data.